Symbol: sgx_get_epc_page