Searched refs:lpi_id (Results 1 – 1 of 1) sorted by relevance
2228 u32 coll_id, lpi_id; in vgic_its_restore_ite() local2237 lpi_id = (val & KVM_ITS_ITE_PINTID_MASK) >> KVM_ITS_ITE_PINTID_SHIFT; in vgic_its_restore_ite()2239 if (!lpi_id) in vgic_its_restore_ite()2242 if (lpi_id < VGIC_MIN_LPI) in vgic_its_restore_ite()2263 irq = vgic_add_lpi(kvm, lpi_id, vcpu); in vgic_its_restore_ite()