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