Searched refs:lpi_id (Results 1 – 1 of 1) sorted by relevance
2244 u32 coll_id, lpi_id; in vgic_its_restore_ite() local2253 lpi_id = (val & KVM_ITS_ITE_PINTID_MASK) >> KVM_ITS_ITE_PINTID_SHIFT; in vgic_its_restore_ite()2255 if (!lpi_id) in vgic_its_restore_ite()2258 if (lpi_id < VGIC_MIN_LPI) in vgic_its_restore_ite()2279 irq = vgic_add_lpi(kvm, lpi_id, vcpu); in vgic_its_restore_ite()