Searched defs:elrsr_ptr (Results 1 – 1 of 1) sorted by relevance
696 unsigned long *elrsr_ptr = u64_to_bitmask(&elrsr); in vgic_unqueue_irqs() local1132 unsigned long *elrsr_ptr = u64_to_bitmask(&elrsr); in vgic_retire_disabled_irqs() local1190 unsigned long *elrsr_ptr = u64_to_bitmask(&elrsr); in vgic_queue_irq() local1439 unsigned long *elrsr_ptr; in __kvm_vgic_sync_hwstate() local