1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_COCO_H
3 #define _ASM_X86_COCO_H
14 #ifdef CONFIG_ARCH_HAS_CC_PLATFORM
15 extern enum cc_vendor cc_vendor;
18 static inline void cc_set_mask(u64 mask)
20 RIP_REL_REF(cc_mask) = mask;
23 u64 cc_mkenc(u64 val);
24 u64 cc_mkdec(u64 val);
26 #define cc_vendor (CC_VENDOR_NONE)
28 static inline u64 cc_mkenc(u64 val)
33 static inline u64 cc_mkdec(u64 val)
39 #endif /* _ASM_X86_COCO_H */