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_HYPERV,
11 	CC_VENDOR_INTEL,
12 };
13 
14 void cc_set_vendor(enum cc_vendor v);
15 void cc_set_mask(u64 mask);
16 
17 #ifdef CONFIG_ARCH_HAS_CC_PLATFORM
18 u64 cc_mkenc(u64 val);
19 u64 cc_mkdec(u64 val);
20 #else
cc_mkenc(u64 val)21 static inline u64 cc_mkenc(u64 val)
22 {
23 	return val;
24 }
25 
cc_mkdec(u64 val)26 static inline u64 cc_mkdec(u64 val)
27 {
28 	return val;
29 }
30 #endif
31 
32 #endif /* _ASM_X86_COCO_H */
33