Searched defs:elrsr (Results 1 – 1 of 1) sorted by relevance
695 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_unqueue_irqs() local1131 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_retire_disabled_irqs() local1189 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_queue_irq() local1438 u64 elrsr; in __kvm_vgic_sync_hwstate() local