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