Searched refs:regtbl (Results 1 – 1 of 1) sorted by relevance
7862 int *regtbl; in debug_pagetables() local7872 regtbl = pmap_kernel()->pm_reg_ptps[0]; in debug_pagetables()7888 te = regtbl[i]; in debug_pagetables()