Searched refs:mapping_replenish_thread (Results 1 – 1 of 1) sorted by relevance
59 thread_t mapping_replenish_thread; variable403 …art_priority((thread_continue_t)mapping_replenish, NULL, MAXPRI_KERNEL, &mapping_replenish_thread); in mapping_adjust()407 thread_deallocate(mapping_replenish_thread); in mapping_adjust()