Searched refs:lpi_id (Results 1 – 1 of 1) sorted by relevance
1957 u32 coll_id, lpi_id; in vgic_its_restore_ite() local1966 lpi_id = (val & KVM_ITS_ITE_PINTID_MASK) >> KVM_ITS_ITE_PINTID_SHIFT; in vgic_its_restore_ite()1968 if (!lpi_id) in vgic_its_restore_ite()1971 if (lpi_id < VGIC_MIN_LPI) in vgic_its_restore_ite()1989 irq = vgic_add_lpi(kvm, lpi_id, vcpu); in vgic_its_restore_ite()