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