Searched refs:ctxtable_pa (Results 1 – 1 of 1) sorted by relevance
4029 u_int *ctxtable_pa, *regtable_pa, *segtable_pa, *pagtable_pa; in pmap_alloc_cpu() local4070 ctxtable_pa = (u_int *)pa; in pmap_alloc_cpu()4120 sc->ctx_tbl_pa = (paddr_t)ctxtable_pa; in pmap_alloc_cpu()