Symbol: mk_keyed_paddr
arch/x86/virt/vmx/tdx/tdx.c
1990
args.rcx = mk_keyed_paddr(tdx_global_keyid, page_to_pfn(td->tdr_page));
arch/x86/virt/vmx/tdx/tdx.c
2000
args.rcx = mk_keyed_paddr(hkid, pfn);