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