driver.h 739 B

1234567891011121314151617181920212223242526272829
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. #ifndef __ARCH_SGX_DRIVER_H__
  3. #define __ARCH_SGX_DRIVER_H__
  4. #include <crypto/hash.h>
  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. #define SGX_EINIT_SPIN_COUNT 20
  14. #define SGX_EINIT_SLEEP_COUNT 50
  15. #define SGX_EINIT_SLEEP_TIME 20
  16. extern u64 sgx_attributes_reserved_mask;
  17. extern u64 sgx_xfrm_reserved_mask;
  18. extern u32 sgx_misc_reserved_mask;
  19. extern const struct file_operations sgx_provision_fops;
  20. long sgx_ioctl(struct file *filep, unsigned int cmd, unsigned long arg);
  21. int sgx_drv_init(void);
  22. #endif /* __ARCH_X86_SGX_DRIVER_H__ */