cpu_load_pmap
void cpu_load_pmap(struct pmap *, struct pmap *);
cpu_load_pmap(pmap, oldpmap);
cpu_load_pmap(oldpmap, pmap);