Searched refs:vgic_flush_state (Results 1 – 1 of 1) sorted by relevance
1113 static void vgic_flush_state(struct kvm_vcpu *vcpu) in vgic_flush_state() function1160 vgic_flush_state(vcpu); in kvm_vgic_flush_hwstate()