Searched refs:mapping_replenish (Results 1 – 1 of 1) sorted by relevance
394 void mapping_replenish(void);403 …mres = kernel_thread_start_priority((thread_continue_t)mapping_replenish, NULL, MAXPRI_KERNEL, &ma… in mapping_adjust()417 mapping_replenish(void) in mapping_replenish() function