GITS_CMD_DISCARD  506 drivers/irqchip/irq-gic-v3-its.c 	its_encode_cmd(cmd, GITS_CMD_DISCARD);
GITS_CMD_DISCARD 1415 virt/kvm/arm/vgic/vgic-its.c 	case GITS_CMD_DISCARD: