Symbol: sgx_encl_page_alloc