Symbol: vmware_tdx_hypercall