Symbol: sgx_alloc_epc_page