Searched refs:sequestered (Results 1 – 1 of 1) sorted by relevance
160 vm_page_t sequestered = NULL; in exclaves_memory_alloc() local190 mem->vmp_snext = sequestered; in exclaves_memory_alloc()191 sequestered = mem; in exclaves_memory_alloc()223 vm_page_free_list(sequestered, FALSE); in exclaves_memory_alloc()