Searched refs:ctxtable (Results 1 – 1 of 1) sorted by relevance
4028 u_int *ctxtable, *regtable, *segtable, *pagtable; in pmap_alloc_cpu() local4065 ctxtable = (u_int *)va; in pmap_alloc_cpu()4108 setpgt4m(&ctxtable[0], in pmap_alloc_cpu()4119 sc->ctx_tbl = ctxtable; in pmap_alloc_cpu()