1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_COCO_H
3 #define _ASM_X86_COCO_H
14 void cc_set_vendor(enum cc_vendor v);
15 void cc_set_mask(u64 mask);
17 #ifdef CONFIG_ARCH_HAS_CC_PLATFORM
18 u64 cc_mkenc(u64 val);
19 u64 cc_mkdec(u64 val);
21 static inline u64 cc_mkenc(u64 val)
26 static inline u64 cc_mkdec(u64 val)
32 #endif /* _ASM_X86_COCO_H */