1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_SHARED_TDX_H
3 #define _ASM_X86_SHARED_TDX_H
4 
5 #include <linux/bits.h>
6 #include <linux/types.h>
7 
8 #define TDX_HYPERCALL_STANDARD  0
9 
10 #define TDX_HCALL_HAS_OUTPUT	BIT(0)
11 
12 #define TDX_CPUID_LEAF_ID	0x21
13 #define TDX_IDENT		"IntelTDX    "
14 
15 #ifndef __ASSEMBLY__
16 
17 /*
18  * Used in __tdx_hypercall() to pass down and get back registers' values of
19  * the TDCALL instruction when requesting services from the VMM.
20  *
21  * This is a software only structure and not part of the TDX module/VMM ABI.
22  */
23 struct tdx_hypercall_args {
24 	u64 r8;
25 	u64 r9;
26 	u64 r10;
27 	u64 r11;
28 	u64 r12;
29 	u64 r13;
30 	u64 r14;
31 	u64 r15;
32 	u64 rdi;
33 	u64 rsi;
34 	u64 rbx;
35 	u64 rdx;
36 };
37 
38 /* Used to request services from the VMM */
39 u64 __tdx_hypercall(struct tdx_hypercall_args *args, unsigned long flags);
40 
41 /* Called from __tdx_hypercall() for unrecoverable failure */
42 void __tdx_hypercall_failed(void);
43 
44 #endif /* !__ASSEMBLY__ */
45 #endif /* _ASM_X86_SHARED_TDX_H */
46