Home
last modified time | relevance | path

Searched refs:vgic_get_vcpu_irq (Results 1 – 8 of 8) sorted by relevance

/linux/arch/arm64/kvm/vgic/
H A Dvgic.c107 struct vgic_irq *vgic_get_vcpu_irq(struct kvm_vcpu *vcpu, u32 intid) in vgic_get_vcpu_irq() function
549 irq = vgic_get_vcpu_irq(vcpu, intid); in kvm_vgic_inject_irq()
578 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid); in kvm_vgic_set_irq_ops()
635 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid); in kvm_vgic_map_phys_irq()
660 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid); in kvm_vgic_reset_mapped_irq()
683 irq = vgic_get_vcpu_irq(vcpu, vintid); in kvm_vgic_unmap_phys_irq()
696 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid); in kvm_vgic_get_map()
732 irq = vgic_get_vcpu_irq(vcpu, intid); in kvm_vgic_set_owner()
1288 irq = vgic_get_vcpu_irq(vcpu, vintid); in kvm_vgic_map_is_active()
H A Dvgic-mmio-v2.c151 irq = vgic_get_vcpu_irq(vcpu, intid); in vgic_mmio_write_sgir()
170 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i); in vgic_mmio_read_target()
216 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i); in vgic_mmio_read_sgipend()
234 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i); in vgic_mmio_write_sgipendc()
256 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i); in vgic_mmio_write_sgipends()
H A Dvgic-v4.c126 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, i); in vgic_v4_enable_vsgis()
163 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, i); in vgic_v4_disable_vsgis()
H A Dvgic-v2.c70 irq = vgic_get_vcpu_irq(vcpu, intid); in vgic_v2_fold_lr()
173 irq = vgic_get_vcpu_irq(vcpu, val); in vgic_v2_deactivate()
H A Dvgic-v3.c88 irq = vgic_get_vcpu_irq(vcpu, intid); in vgic_v3_fold_lr()
225 irq = vgic_get_vcpu_irq(vcpu, val); in vgic_v3_deactivate()
H A Dvgic-debug.c254 irq = vgic_get_vcpu_irq(vcpu, iter->intid); in vgic_debug_show()
H A Dvgic-mmio-v3.c1055 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, sgi); in vgic_v3_queue_sgi()
/linux/arch/arm64/kvm/
H A Dsys_regs.c758 irq = vgic_get_vcpu_irq(vcpu, intid); in access_gicv5_ppi_enabler()