/* * __tdcall() - Used by TDX guests to request services from the TDX * module (does not include VMM services) using TDCALL instruction. * * __tdcall() function ABI: * * @fn (RDI) - TDCALL Leaf ID, moved to RAX * @args (RSI) - struct tdx_module_args for input * * Only RCX/RDX/R8-R11 are used as input registers. * * Return status of TDCALL via RAX.
*/
SYM_FUNC_START(__tdcall)
TDX_MODULE_CALL host=0
SYM_FUNC_END(__tdcall)
/* * __tdcall_ret() - Used by TDX guests to request services from the TDX * module (does not include VMM services) using TDCALL instruction, with * saving output registers to the 'struct tdx_module_args' used as input. * * __tdcall_ret() function ABI: * * @fn (RDI) - TDCALL Leaf ID, moved to RAX * @args (RSI) - struct tdx_module_args for input and output * * Only RCX/RDX/R8-R11 are used as input/output registers. * * Return status of TDCALL via RAX.
*/
SYM_FUNC_START(__tdcall_ret)
TDX_MODULE_CALL host=0 ret=1
SYM_FUNC_END(__tdcall_ret)
/* * __tdcall_saved_ret() - Used by TDX guests to request services from the * TDX module (including VMM services) using TDCALL instruction, with * saving output registers to the 'struct tdx_module_args' used as input. * * __tdcall_saved_ret() function ABI: * * @fn (RDI) - TDCALL leaf ID, moved to RAX * @args (RSI) - struct tdx_module_args for input/output * * All registers in @args are used as input/output registers. * * On successful completion, return the hypercall error code.
*/
SYM_FUNC_START(__tdcall_saved_ret)
TDX_MODULE_CALL host=0 ret=1 saved=1
SYM_FUNC_END(__tdcall_saved_ret)
Messung V0.5
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.