ci_pmap_kern_segtab
ci->ci_pmap_kern_segtab = &pmap_kern_segtab,
.ci_pmap_kern_segtab = &pmap_kern_segtab,
cpuhdrp->sysmappa = MIPS_KSEG0_TO_PHYS(curcpu()->ci_pmap_kern_segtab);
KASSERT(curcpu()->ci_pmap_kern_segtab == &pmap_kern_segtab);
printf("ci_pmap_kern_segtab %p\n", ci->ci_pmap_kern_segtab);
.ci_pmap_kern_segtab = &pmap_kern_segtab,
.ci_pmap_kern_segtab = &pmap_kern_segtab,
ci->ci_pmap_kern_segtab = curcpu()->ci_pmap_kern_segtab;
pmap_segtab_t ** const stbs = &curcpu()->ci_pmap_kern_segtab;