sgx_unmark_page_reclaimable
if (sgx_unmark_page_reclaimable(entry->epc_page))
if (sgx_unmark_page_reclaimable(entry->epc_page)) {
if (sgx_unmark_page_reclaimable(entry->epc_page)) {
sgx_unmark_page_reclaimable(page);
int sgx_unmark_page_reclaimable(struct sgx_epc_page *page);