pg_cpu_delete
pg_cpu_delete((pg_t *)pg, cp, pgdata);
void pg_cpu_delete(pg_t *, cpu_t *, cpu_pg_t *);