1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_COCO_H
3 #define _ASM_X86_COCO_H
4 
5 #include <asm/types.h>
6 
7 enum cc_vendor {
8 	CC_VENDOR_NONE,
9 	CC_VENDOR_AMD,
10 	CC_VENDOR_INTEL,
11 };
12 
13 extern enum cc_vendor cc_vendor;
14 
15 #ifdef CONFIG_ARCH_HAS_CC_PLATFORM
16 void cc_set_mask(u64 mask);
17 u64 cc_mkenc(u64 val);
18 u64 cc_mkdec(u64 val);
19 #else
cc_mkenc(u64 val)20 static inline u64 cc_mkenc(u64 val)
21 {
22 	return val;
23 }
24 
cc_mkdec(u64 val)25 static inline u64 cc_mkdec(u64 val)
26 {
27 	return val;
28 }
29 #endif
30 
31 #endif /* _ASM_X86_COCO_H */
32