Lines Matching full:intid
196 int intid = VGIC_ADDR_TO_INTID(addr, 64); in vgic_mmio_read_irouter() local
197 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, intid); in vgic_mmio_read_irouter()
215 int intid = VGIC_ADDR_TO_INTID(addr, 64); in vgic_mmio_write_irouter() local
223 irq = vgic_get_irq(vcpu->kvm, intid); in vgic_mmio_write_irouter()
533 u32 intid; in vgic_mmio_write_invlpi() local
545 intid = lower_32_bits(val); in vgic_mmio_write_invlpi()
546 if (intid < VGIC_MIN_LPI) in vgic_mmio_write_invlpi()
551 irq = vgic_get_irq(vcpu->kvm, intid); in vgic_mmio_write_invlpi()
1134 u32 intid, u32 *val) in vgic_v3_line_level_info_uaccess() argument
1136 if (intid % 32) in vgic_v3_line_level_info_uaccess()
1140 vgic_write_irq_line_level_info(vcpu, intid, *val); in vgic_v3_line_level_info_uaccess()
1142 *val = vgic_read_irq_line_level_info(vcpu, intid); in vgic_v3_line_level_info_uaccess()