Searched refs:cpu_pg_deferred (Results 1 – 2 of 2) sorted by relevance
600 pg_cpu_fini(cpu_t *cp, cpu_pg_t *cpu_pg_deferred) in pg_cpu_fini() argument607 if (cpu_pg_deferred == NULL) { in pg_cpu_fini()624 cpu_pg = cpu_pg_deferred; in pg_cpu_fini()
163 void pg_cpu_fini(cpu_t *, cpu_pg_t *cpu_pg_deferred);