pg_cpupart_out
pg_cpupart_out(cp, oldpp);
pg_cpupart_out(cp, newpp);
pg_cpupart_out(cp, newpp);
pg_cpupart_out(cp, pp);
pg_cpupart_out(CPU, &cp_default);
void pg_cpupart_out(cpu_t *, struct cpupart *);