Lines Matching +full:input +full:- +full:only

1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <asm/asm-offsets.h>
13  * __tdcall()  - Used by TDX guests to request services from the TDX
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.
30  * __tdcall_ret() - Used by TDX guests to request services from the TDX
32  * saving output registers to the 'struct tdx_module_args' used as input.
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.
48  * __tdcall_saved_ret() - Used by TDX guests to request services from the
50  * saving output registers to the 'struct tdx_module_args' used as input.
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.