Searched refs:vgic_save_state (Results 1 – 1 of 1) sorted by relevance
851 static inline void vgic_save_state(struct kvm_vcpu *vcpu) in vgic_save_state() function869 vgic_save_state(vcpu); in kvm_vgic_sync_hwstate()