Searched refs:vgic_v4_load (Results 1 – 4 of 4) sorted by relevance
424 int vgic_v4_load(struct kvm_vcpu *vcpu);
342 int vgic_v4_load(struct kvm_vcpu *vcpu) in vgic_v4_load() function
706 WARN_ON(vgic_v4_load(vcpu)); in vgic_v3_load()
389 vgic_v4_load(vcpu); in kvm_arch_vcpu_unblocking()700 vgic_v4_load(vcpu); in check_vcpu_requests()
