1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright(c) 2016-20 Intel Corporation.
4  */
5 
6 #ifndef DEFINES_H
7 #define DEFINES_H
8 
9 #include <stdint.h>
10 
11 #define PAGE_SIZE 4096
12 #define PAGE_MASK (~(PAGE_SIZE - 1))
13 
14 #define __aligned(x) __attribute__((__aligned__(x)))
15 #define __packed __attribute__((packed))
16 
17 #include "../../../../arch/x86/kernel/cpu/sgx/arch.h"
18 #include "../../../../arch/x86/include/asm/enclu.h"
19 #include "../../../../arch/x86/include/uapi/asm/sgx.h"
20 
21 #endif /* DEFINES_H */
22