Searched refs:__vgic_v3_restore_state (Results 1 – 2 of 2) sorted by relevance
860 __vgic_v3_restore_state(vcpu); in vgic_restore_state()
244 void __hyp_text __vgic_v3_restore_state(struct kvm_vcpu *vcpu) in __vgic_v3_restore_state() function