12adcba79SJarkko Sakkinen /* SPDX-License-Identifier: GPL-2.0 */ 22adcba79SJarkko Sakkinen /* 32adcba79SJarkko Sakkinen * Copyright(c) 2016-20 Intel Corporation. 42adcba79SJarkko Sakkinen */ 52adcba79SJarkko Sakkinen 62adcba79SJarkko Sakkinen #ifndef DEFINES_H 72adcba79SJarkko Sakkinen #define DEFINES_H 82adcba79SJarkko Sakkinen 92adcba79SJarkko Sakkinen #include <stdint.h> 102adcba79SJarkko Sakkinen 112adcba79SJarkko Sakkinen #define PAGE_SIZE 4096 122adcba79SJarkko Sakkinen #define PAGE_MASK (~(PAGE_SIZE - 1)) 132adcba79SJarkko Sakkinen 142adcba79SJarkko Sakkinen #define __aligned(x) __attribute__((__aligned__(x))) 152adcba79SJarkko Sakkinen #define __packed __attribute__((packed)) 162adcba79SJarkko Sakkinen 17*8ca52cc3SSean Christopherson #include "../../../../arch/x86/include/asm/sgx.h" 182adcba79SJarkko Sakkinen #include "../../../../arch/x86/include/asm/enclu.h" 192adcba79SJarkko Sakkinen #include "../../../../arch/x86/include/uapi/asm/sgx.h" 202adcba79SJarkko Sakkinen 212adcba79SJarkko Sakkinen #endif /* DEFINES_H */ 22