MMU_A_TBL_SIZE
a_tbl->at_dtbl = &mmuAbase[i * MMU_A_TBL_SIZE];
MMU_A_TBL_SIZE * sizeof(mmu_long_dte_t));
idx = (mmuAtbl - mmuAbase) / MMU_A_TBL_SIZE;
size = sizeof(mmu_long_dte_t) * MMU_A_TBL_SIZE;
size = sizeof(mmu_long_dte_t) * MMU_A_TBL_SIZE * NUM_A_TABLES;
for (i = MMU_TIA(KERNBASE3X); i < MMU_A_TBL_SIZE; i++) {