sys/amd64/amd64/mp_machdep.c

230

pc->pc_pcid_next = PMAP_PCID_KERN + 2;

sys/amd64/amd64/mp_machdep.c

232

pc->pc_kpmap_store.pm_pcid = PMAP_PCID_KERN;

sys/amd64/amd64/pmap.c

10088

if (pcidp->pm_pcid == PMAP_PCID_KERN)

sys/amd64/amd64/pmap.c

10102

pcid_next = PMAP_PCID_KERN + 1;

sys/amd64/amd64/pmap.c

10120

KASSERT(pcidp->pm_pcid != PMAP_PCID_KERN || pmap == kernel_pmap,

sys/amd64/amd64/pmap.c

2237

PCPU_SET(kpmap_store.pm_pcid, PMAP_PCID_KERN);

sys/amd64/amd64/pmap.c

2246

PCPU_SET(pcid_next, PMAP_PCID_KERN + 2);

sys/amd64/amd64/pmap.c

4212

pmap_pinit_pcids(pmap, PMAP_PCID_KERN + 1, 1);