1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <asm/asm-offsets.h>
3 #include <asm/asm.h>
4
5 #include <linux/linkage.h>
6 #include <linux/errno.h>
7
8 #include "../../virt/vmx/tdx/tdxcall.S"
9
10 .section .noinstr.text, "ax"
11
12 /*
13 * __tdcall() - Used by TDX guests to request
14 * module (does not include VMM services) usin
15 *
16 * __tdcall() function ABI:
17 *
18 * @fn (RDI) - TDCALL Leaf ID, moved to RAX
19 * @args (RSI) - struct tdx_module_args for i
20 *
21 * Only RCX/RDX/R8-R11 are used as input regis
22 *
23 * Return status of TDCALL via RAX.
24 */
25 SYM_FUNC_START(__tdcall)
26 TDX_MODULE_CALL host=0
27 SYM_FUNC_END(__tdcall)
28
29 /*
30 * __tdcall_ret() - Used by TDX guests to requ
31 * module (does not include VMM services) usin
32 * saving output registers to the 'struct tdx_
33 *
34 * __tdcall_ret() function ABI:
35 *
36 * @fn (RDI) - TDCALL Leaf ID, moved to RAX
37 * @args (RSI) - struct tdx_module_args for i
38 *
39 * Only RCX/RDX/R8-R11 are used as input/outpu
40 *
41 * Return status of TDCALL via RAX.
42 */
43 SYM_FUNC_START(__tdcall_ret)
44 TDX_MODULE_CALL host=0 ret=1
45 SYM_FUNC_END(__tdcall_ret)
46
47 /*
48 * __tdcall_saved_ret() - Used by TDX guests t
49 * TDX module (including VMM services) using T
50 * saving output registers to the 'struct tdx_
51 *
52 * __tdcall_saved_ret() function ABI:
53 *
54 * @fn (RDI) - TDCALL leaf ID, moved to RAX
55 * @args (RSI) - struct tdx_module_args for i
56 *
57 * All registers in @args are used as input/ou
58 *
59 * On successful completion, return the hyperc
60 */
61 SYM_FUNC_START(__tdcall_saved_ret)
62 TDX_MODULE_CALL host=0 ret=1 saved=1
63 SYM_FUNC_END(__tdcall_saved_ret)
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.