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