Searched refs:elrsr (Results 1 – 1 of 1) sorted by relevance
695 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_unqueue_irqs() local696 unsigned long *elrsr_ptr = u64_to_bitmask(&elrsr); in vgic_unqueue_irqs()1131 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_retire_disabled_irqs() local1132 unsigned long *elrsr_ptr = u64_to_bitmask(&elrsr); in vgic_retire_disabled_irqs()1189 u64 elrsr = vgic_get_elrsr(vcpu); in vgic_queue_irq() local1190 unsigned long *elrsr_ptr = u64_to_bitmask(&elrsr); in vgic_queue_irq()1438 u64 elrsr; in __kvm_vgic_sync_hwstate() local1454 elrsr = vgic_get_elrsr(vcpu); in __kvm_vgic_sync_hwstate()1455 elrsr_ptr = u64_to_bitmask(&elrsr); in __kvm_vgic_sync_hwstate()