Searched refs:sequestered (Results 1 – 1 of 1) sorted by relevance
158 vm_page_t sequestered = NULL; in exclaves_memory_alloc() local188 mem->vmp_snext = sequestered; in exclaves_memory_alloc()189 sequestered = mem; in exclaves_memory_alloc()221 vm_page_free_list(sequestered, FALSE); in exclaves_memory_alloc()