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
);
25 void cc_random_init(void);
27 #define cc_vendor (CC_VENDOR_NONE)
28 static const u64 cc_mask
= 0;
30 static inline u64
cc_mkenc(u64 val
)
35 static inline u64
cc_mkdec(u64 val
)
39 static inline void cc_random_init(void) { }
42 #endif /* _ASM_X86_COCO_H */