pmap_pinit_pcids
pmap_pinit_pcids(pmap, PMAP_PCID_KERN + 1, 1);
pmap_pinit_pcids(pmap, PMAP_PCID_NONE, 0);