On Fri, 2023-09-22 at 20:06 -0700, Haitao Huang wrote: > @@ -314,18 +313,22 @@ static void sgx_reclaim_pages(void) > > if (kref_get_unless_zero(&encl_page->encl->refcount) != 0) { > sgx_epc_page_set_state(epc_page, SGX_EPC_PAGE_RECLAIM_IN_PROGRESS); > - chunk[cnt++] = epc_page; > + list_move_tail(&epc_page->list, &iso); > } else { > - /* The owner is freeing the page. No need to add the > - * page back to the list of reclaimable pages. > + /* The owner is freeing the page, remove it from the > + * LRU list > */ Please fix comment style. > sgx_epc_page_reset_state(epc_page); > + list_del_init(&epc_page->list); Is this still needed? It seems list_del_init() has been done when the EPC page is taken off from the global active list?