Symbol: vgic_v3_nested_update_mi
arch/arm64/kvm/vgic/vgic-v3-nested.c
320
vgic_v3_nested_update_mi(vcpu);
arch/arm64/kvm/vgic/vgic.c
1021
vgic_v3_nested_update_mi(vcpu);
arch/arm64/kvm/vgic/vgic.c
1081
vgic_v3_nested_update_mi(vcpu);
arch/arm64/kvm/vgic/vgic.h
455
void vgic_v3_nested_update_mi(struct kvm_vcpu *vcpu);