1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_COCO_H
3 #define _ASM_X86_COCO_H
15 extern enum cc_vendor cc_vendor;
17 #ifdef CONFIG_ARCH_HAS_CC_PLATFORM
20 static inline void cc_set_mask(u64 mask)
22 RIP_REL_REF(cc_mask) = mask;
25 u64 cc_mkenc(u64 val);
26 u64 cc_mkdec(u64 val);
27 void cc_random_init(void);
29 static const u64 cc_mask = 0;
31 static inline u64 cc_mkenc(u64 val)
36 static inline u64 cc_mkdec(u64 val)
40 static inline void cc_random_init(void) { }
43 #endif /* _ASM_X86_COCO_H */