Symbol: tdx_map_gpa
arch/x86/coco/tdx/tdx.c
969
if (!tdx_map_gpa(start, end, enc))
arch/x86/kvm/vmx/tdx.c
1596
return tdx_map_gpa(vcpu);