Searched refs:elrsr (Results 1 – 1 of 1) sorted by relevance
1349 u64 elrsr; in __kvm_vgic_sync_hwstate() local1355 elrsr = vgic_get_elrsr(vcpu); in __kvm_vgic_sync_hwstate()1356 elrsr_ptr = u64_to_bitmask(&elrsr); in __kvm_vgic_sync_hwstate()