Searched refs:vgic_get_elrsr (Results 1 – 1 of 1) sorted by relevance
1022 static inline u64 vgic_get_elrsr(struct kvm_vcpu *vcpu) in vgic_get_elrsr() function1355 elrsr = vgic_get_elrsr(vcpu); in __kvm_vgic_sync_hwstate()