ITS_CMD_OFFSET   1559 virt/kvm/arm/vgic/vgic-its.c 	reg = ITS_CMD_OFFSET(reg);
ITS_CMD_OFFSET   1600 virt/kvm/arm/vgic/vgic-its.c 	cmd_offset = ITS_CMD_OFFSET(val);