Symbol: kvm_nested_setup_mdcr_el2
arch/arm64/include/asm/kvm_nested.h
87
extern void kvm_nested_setup_mdcr_el2(struct kvm_vcpu *vcpu);
arch/arm64/kvm/debug.c
67
kvm_nested_setup_mdcr_el2(vcpu);