Searched refs:__vgic_v3_save_state (Results 1 – 2 of 2) sorted by relevance
833 __vgic_v3_save_state(vcpu); in vgic_save_state()
208 void __hyp_text __vgic_v3_save_state(struct kvm_vcpu *vcpu) in __vgic_v3_save_state() function