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

source code of linux/arch/x86/include/asm/coco.h