ci_pmap_user_segtab
.ci_pmap_user_segtab = NULL,
&& ci->ci_pmap_user_segtab->seg_seg[0] != NULL)) {
ci->ci_pmap_user_segtab->seg_seg[0];
printf("ci_pmap_user_segtab %p\n", ci->ci_pmap_user_segtab);
union pmap_segtab *ci_pmap_user_segtab;
ci->ci_pmap_user_segtab = PMAP_INVALID_SEGTAB_ADDRESS;
ci->ci_pmap_user_segtab = pm->pm_segtab;
curcpu()->ci_pmap_user_segtab = PMAP_INVALID_SEGTAB_ADDRESS;