Symbol: sgx_mark_page_reclaimable