Searched refs:vgic_restore_state (Results 1 – 1 of 1) sorted by relevance
898 static inline void vgic_restore_state(struct kvm_vcpu *vcpu) in vgic_restore_state() function934 vgic_restore_state(vcpu); in kvm_vgic_flush_hwstate()