#include <stddef.h> int init_enclave_pages(void); void* get_enclave_pages(void* addr, size_t size); int free_enclave_pages(void* addr, size_t size);
