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