1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <asm/asm-offsets.h>
5 #include <linux/linkage.h>
6 #include <linux/errno.h>
8 #include "../../virt/vmx/tdx/tdxcall.S"
10 .section .noinstr.text, "ax"
13 * __tdcall() - Used by TDX guests to request services from the TDX
14 * module (does not include VMM services) using TDCALL instruction.
16 * __tdcall() function ABI:
18 * @fn (RDI) - TDCALL Leaf ID, moved to RAX
19 * @args (RSI) - struct tdx_module_args for input
21 * Only RCX/RDX/R8-R11 are used as input registers.
23 * Return status of TDCALL via RAX.
25 SYM_FUNC_START(__tdcall)
26 TDX_MODULE_CALL host=0
27 SYM_FUNC_END(__tdcall)
30 * __tdcall_ret() - Used by TDX guests to request services from the TDX
31 * module (does not include VMM services) using TDCALL instruction, with
32 * saving output registers to the 'struct tdx_module_args' used as input.
34 * __tdcall_ret() function ABI:
36 * @fn (RDI) - TDCALL Leaf ID, moved to RAX
37 * @args (RSI) - struct tdx_module_args for input and output
39 * Only RCX/RDX/R8-R11 are used as input/output registers.
41 * Return status of TDCALL via RAX.
43 SYM_FUNC_START(__tdcall_ret)
44 TDX_MODULE_CALL host=0 ret=1
45 SYM_FUNC_END(__tdcall_ret)
48 * __tdcall_saved_ret() - Used by TDX guests to request services from the
49 * TDX module (including VMM services) using TDCALL instruction, with
50 * saving output registers to the 'struct tdx_module_args' used as input.
52 * __tdcall_saved_ret() function ABI:
54 * @fn (RDI) - TDCALL leaf ID, moved to RAX
55 * @args (RSI) - struct tdx_module_args for input/output
57 * All registers in @args are used as input/output registers.
59 * On successful completion, return the hypercall error code.
61 SYM_FUNC_START(__tdcall_saved_ret)
62 TDX_MODULE_CALL host=0 ret=1 saved=1
63 SYM_FUNC_END(__tdcall_saved_ret)