Searched refs:sequestered (Results 1 – 1 of 1) sorted by relevance
134 vm_page_t sequestered = NULL; in exclaves_memory_alloc() local148 mem->vmp_snext = sequestered; in exclaves_memory_alloc()149 sequestered = mem; in exclaves_memory_alloc()175 vm_page_free_list(sequestered, FALSE); in exclaves_memory_alloc()