GIC_LPI_OFFSET
if (lpi_nr < GIC_LPI_OFFSET ||
ret = kvm_read_guest_lock(kvm, propbase + irq->intid - GIC_LPI_OFFSET,
GUEST_ASSERT(intid >= GIC_LPI_OFFSET);
u32 coll_id, device_id, event_id, intid = GIC_LPI_OFFSET;