22 lines
489 B
C
22 lines
489 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/*
|
|
* Copyright(c) 2016-20 Intel Corporation.
|
|
*/
|
|
|
|
#ifndef DEFINES_H
|
|
#define DEFINES_H
|
|
|
|
#include <stdint.h>
|
|
|
|
#define PAGE_SIZE 4096
|
|
#define PAGE_MASK (~(PAGE_SIZE - 1))
|
|
|
|
#define __aligned(x) __attribute__((__aligned__(x)))
|
|
#define __packed __attribute__((packed))
|
|
|
|
#include "../../../../arch/x86/kernel/cpu/sgx/arch.h"
|
|
#include "../../../../arch/x86/include/asm/enclu.h"
|
|
#include "../../../../arch/x86/include/uapi/asm/sgx.h"
|
|
|
|
#endif /* DEFINES_H */
|