Searched refs:vgic_get_elrsr (Results 1 – 1 of 1) sorted by relevance
111 static u64 vgic_get_elrsr(struct kvm_vcpu *vcpu);695 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_unqueue_irqs()1035 static inline u64 vgic_get_elrsr(struct kvm_vcpu *vcpu) in vgic_get_elrsr() function1131 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_retire_disabled_irqs()1189 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_queue_irq()1454 elrsr = vgic_get_elrsr(vcpu); in __kvm_vgic_sync_hwstate()