driver.h

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __ARCH_SGX_DRIVER_H__
 3#define __ARCH_SGX_DRIVER_H__
 4
 5#include <linux/kref.h>
 6#include <linux/mmu_notifier.h>
 7#include <linux/radix-tree.h>
 8#include <linux/rwsem.h>
 9#include <linux/sched.h>
10#include <linux/workqueue.h>
11#include <uapi/asm/sgx.h>
12#include "sgx.h"
13
14#define SGX_EINIT_SPIN_COUNT	20
15#define SGX_EINIT_SLEEP_COUNT	50
16#define SGX_EINIT_SLEEP_TIME	20
17
18extern u64 sgx_attributes_reserved_mask;
19extern u64 sgx_xfrm_reserved_mask;
20extern u32 sgx_misc_reserved_mask;
21
22extern const struct file_operations sgx_provision_fops;
23
24long sgx_ioctl(struct file *filep, unsigned int cmd, unsigned long arg);
25
26int sgx_drv_init(void);
27
28#endif /* __ARCH_X86_SGX_DRIVER_H__ */