Symbol: sgx_insert_epc_page_by_index