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