NUM_C_TABLES
for (i = 0; i < NUM_C_TABLES; i++) {
unsigned int NUM_A_TABLES, NUM_B_TABLES, NUM_C_TABLES;
#define NUM_USER_PTES (NUM_C_TABLES * MMU_C_TBL_SIZE)
if ((idx < 0) || (idx >= NUM_C_TABLES))
NUM_C_TABLES = (total_phys_mem * 4) / (MMU_C_TBL_SIZE * MMU_PAGE_SIZE);
NUM_B_TABLES = NUM_C_TABLES / 2;
size = sizeof(mmu_short_pte_t) * MMU_C_TBL_SIZE * NUM_C_TABLES;
(c_tmgr_t *)pmap_bootstrap_alloc(sizeof(c_tmgr_t) * NUM_C_TABLES);