Searched refs:pg_cpu_inactive (Results 1 – 4 of 4) sorted by relevance
165 void pg_cpu_inactive(cpu_t *);
281 pg_cpu_inactive(CPU); in pg_cpu0_reinit()658 pg_cpu_inactive(cpu_t *cp) in pg_cpu_inactive() function
1997 pg_cpu_inactive(cp); in cpu_remove_active()
397 pg_cpu_inactive(cp); in update_cpu_mappings()