Lines Matching refs:tdx_module_args
79 OFFSET(TDX_MODULE_rcx, tdx_module_args, rcx); in common()
80 OFFSET(TDX_MODULE_rdx, tdx_module_args, rdx); in common()
81 OFFSET(TDX_MODULE_r8, tdx_module_args, r8); in common()
82 OFFSET(TDX_MODULE_r9, tdx_module_args, r9); in common()
83 OFFSET(TDX_MODULE_r10, tdx_module_args, r10); in common()
84 OFFSET(TDX_MODULE_r11, tdx_module_args, r11); in common()
85 OFFSET(TDX_MODULE_r12, tdx_module_args, r12); in common()
86 OFFSET(TDX_MODULE_r13, tdx_module_args, r13); in common()
87 OFFSET(TDX_MODULE_r14, tdx_module_args, r14); in common()
88 OFFSET(TDX_MODULE_r15, tdx_module_args, r15); in common()
89 OFFSET(TDX_MODULE_rbx, tdx_module_args, rbx); in common()
90 OFFSET(TDX_MODULE_rdi, tdx_module_args, rdi); in common()
91 OFFSET(TDX_MODULE_rsi, tdx_module_args, rsi); in common()