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