1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_COCO_H
3 #define _ASM_X86_COCO_H
13 #ifdef CONFIG_ARCH_HAS_CC_PLATFORM
14 extern enum cc_vendor cc_vendor;
16 static inline enum cc_vendor cc_get_vendor(void)
21 static inline void cc_set_vendor(enum cc_vendor vendor)
26 void cc_set_mask(u64 mask);
27 u64 cc_mkenc(u64 val);
28 u64 cc_mkdec(u64 val);
30 static inline enum cc_vendor cc_get_vendor(void)
32 return CC_VENDOR_NONE;
35 static inline void cc_set_vendor(enum cc_vendor vendor) { }
37 static inline u64 cc_mkenc(u64 val)
42 static inline u64 cc_mkdec(u64 val)
48 #endif /* _ASM_X86_COCO_H */