Searched refs:vgic_v2_load (Results 1 – 3 of 3) sorted by relevance
205 void vgic_v2_load(struct kvm_vcpu *vcpu);
491 void vgic_v2_load(struct kvm_vcpu *vcpu) in vgic_v2_load() function
896 vgic_v2_load(vcpu); in kvm_vgic_load()