pmap_ptpage_t
stb->seg_ppg[j] = (pmap_ptpage_t *)&sysmap[i];
pmap_ptpage_t * const ppg = stb->seg_ppg[idx];
pmap_ptpage_t **ppg_p = &stb->seg_ppg[VM_MIN_KERNEL_ADDRESS >> SEGSHIFT];
pmap_ptpage_t *ppg = (void *)kv_segtabs;
pmap_ptpage_t * const ppg = stb->seg_ppg[va >> SEGSHIFT];
pmap_ptpage_t * seg_ppg[PMAP_SEGTABSIZE];
static pmap_ptpage_t **
static pmap_ptpage_t **
pmap_ptpage_t *ppg;
pmap_ptpage_t ** const ppg_p = pmap_segtab_reserve(pmap, va, &pde_p);
pmap_ptpage_t ** const ppg_p = pmap_segtab_reserve(pmap, va);
pmap_ptpage_t *oppg = atomic_cas_ptr(ppg_p, NULL, ppg);
__CTASSERT(sizeof(pmap_ptpage_t) == NBPG);
static pmap_ptpage_t *
return (pmap_ptpage_t *)pmap_pde_to_va(pde);
static inline pmap_ptpage_t *
pmap_ptpage_t * const ppg = pmap_ptpage(pmap, va);
static pmap_ptpage_t *
pmap_ptpage_t *ppg = NULL;
ppg = (pmap_ptpage_t *)PMAP_MAP_PTEPAGE(pa);
ppg = (pmap_ptpage_t *)kva;
pmap_ptpage_free(pmap_t pmap, pmap_ptpage_t *ppg, const char *caller)
pmap_ptpage_t *ppg = pmap_pde_to_ptpage(ptb->pde_pde[i]);
pmap_ptpage_t *ppg = stb->seg_ppg[i];