Searched refs:lpi_nr (Results 1 – 3 of 3) sorted by relevance
1058 int lpi_nr; in vgic_its_cmd_handle_mapi() local1068 lpi_nr = its_cmd_get_physical_id(its_cmd); in vgic_its_cmd_handle_mapi()1070 lpi_nr = event_id; in vgic_its_cmd_handle_mapi()1071 if (lpi_nr < GIC_LPI_OFFSET || in vgic_its_cmd_handle_mapi()1072 lpi_nr >= max_lpis_propbaser(kvm->arch.vgic.propbaser)) in vgic_its_cmd_handle_mapi()1097 irq = vgic_add_lpi(kvm, lpi_nr, vcpu); in vgic_its_cmd_handle_mapi()