NUM_A_TABLES
for (i = 0; i < NUM_A_TABLES; i++) {
unsigned int NUM_A_TABLES, NUM_B_TABLES, NUM_C_TABLES;
if ((idx < 0) || (idx >= NUM_A_TABLES))
NUM_A_TABLES = NUM_B_TABLES / 2;
size = sizeof(mmu_long_dte_t) * MMU_A_TBL_SIZE * NUM_A_TABLES;
(a_tmgr_t *)pmap_bootstrap_alloc(sizeof(a_tmgr_t) * NUM_A_TABLES);