GITS_CMD_INT 542 drivers/irqchip/irq-gic-v3-its.c its_encode_cmd(cmd, GITS_CMD_INT); GITS_CMD_INT 1424 virt/kvm/arm/vgic/vgic-its.c case GITS_CMD_INT: