Symbol: vcpu_sanitised_cptr_el2
arch/arm64/include/asm/kvm_emulate.h
647
vcpu_sanitised_cptr_el2(vcpu))))
arch/arm64/kvm/hyp/include/hyp/switch.h
123
cptr = vcpu_sanitised_cptr_el2(vcpu);