enclave_pages.h 227 B

1234567
  1. #include <stdbool.h>
  2. #include <stddef.h>
  3. int init_enclave_pages(void);
  4. void* get_enclave_heap_top(void);
  5. void* get_enclave_pages(void* addr, size_t size, bool is_pal_internal);
  6. int free_enclave_pages(void* addr, size_t size);