Symbol: __tdx_map_gpa
arch/x86/kvm/vmx/tdx.c
1185
static void __tdx_map_gpa(struct vcpu_tdx *tdx);
arch/x86/kvm/vmx/tdx.c
1212
__tdx_map_gpa(tdx);
arch/x86/kvm/vmx/tdx.c
1279
__tdx_map_gpa(tdx);