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