Searched refs:pm_pcid (Results 1 – 4 of 4) sorted by relevance
35 uint32_t pm_pcid; member
543 return (pcidp->pm_pcid); in pmap_get_pcid()
2072 PCPU_SET(kpmap_store.pm_pcid, PMAP_PCID_KERN); in pmap_bootstrap()4282 pcidp->pm_pcid = pcid; in pmap_pinit_pcids()10079 if (pcidp->pm_pcid == PMAP_PCID_KERN) in pmap_pcid_alloc()10097 pcidp->pm_pcid = pcid_next; in pmap_pcid_alloc()10109 KASSERT(pcidp->pm_pcid < PMAP_PCID_OVERMAX, in pmap_pcid_alloc_checked()10110 ("pmap %p cpu %d pcid %#x", pmap, PCPU_GET(cpuid), pcidp->pm_pcid)); in pmap_pcid_alloc_checked()10111 KASSERT(pcidp->pm_pcid != PMAP_PCID_KERN || pmap == kernel_pmap, in pmap_pcid_alloc_checked()10113 pmap, PCPU_GET(cpuid), pcidp->pm_pcid)); in pmap_pcid_alloc_checked()10148 load_cr3(pmap->pm_cr3 | pcidp->pm_pcid); in pmap_activate_sw_pcid_pti()10150 kcr3 = pmap->pm_cr3 | pcidp->pm_pcid; in pmap_activate_sw_pcid_pti()[all …]
218 pc->pc_kpmap_store.pm_pcid = PMAP_PCID_KERN; in init_secondary()