vmware_tdx_hypercall
return vmware_tdx_hypercall(cmd, in1, 0, 0, 0,
return vmware_tdx_hypercall(cmd, in1, 0, 0, 0,
return vmware_tdx_hypercall(cmd, in1, 0, 0, 0,
return vmware_tdx_hypercall(cmd, in1, in3, in4, in5,
return vmware_tdx_hypercall(cmd, in1, in3, 0, 0,
return vmware_tdx_hypercall(cmd, in1, in3, in4, in5,
extern unsigned long vmware_tdx_hypercall(unsigned long cmd,
EXPORT_SYMBOL_GPL(vmware_tdx_hypercall);