Lines Matching refs:tdx_module_args
71 OFFSET(TDX_MODULE_rcx, tdx_module_args, rcx); in common()
72 OFFSET(TDX_MODULE_rdx, tdx_module_args, rdx); in common()
73 OFFSET(TDX_MODULE_r8, tdx_module_args, r8); in common()
74 OFFSET(TDX_MODULE_r9, tdx_module_args, r9); in common()
75 OFFSET(TDX_MODULE_r10, tdx_module_args, r10); in common()
76 OFFSET(TDX_MODULE_r11, tdx_module_args, r11); in common()
77 OFFSET(TDX_MODULE_r12, tdx_module_args, r12); in common()
78 OFFSET(TDX_MODULE_r13, tdx_module_args, r13); in common()
79 OFFSET(TDX_MODULE_r14, tdx_module_args, r14); in common()
80 OFFSET(TDX_MODULE_r15, tdx_module_args, r15); in common()
81 OFFSET(TDX_MODULE_rbx, tdx_module_args, rbx); in common()
82 OFFSET(TDX_MODULE_rdi, tdx_module_args, rdi); in common()
83 OFFSET(TDX_MODULE_rsi, tdx_module_args, rsi); in common()