Searched refs:vgic_v2_save_state (Results 1 – 3 of 3) sorted by relevance
208 void vgic_v2_save_state(struct kvm_vcpu *vcpu);
455 void vgic_v2_save_state(struct kvm_vcpu *vcpu) in vgic_v2_save_state() function
824 vgic_v2_save_state(vcpu); in vgic_save_state()
