pg_cpu_fini
pg_cpu_fini(cp, NULL);
pg_cpu_fini(CPU, NULL);
void pg_cpu_fini(cpu_t *, cpu_pg_t *cpu_pg_deferred);
pg_cpu_fini(cp, pgps[id]);