Symbol: sgx_encl_free_epc_page