NUM_LV1ENTRIES
#define LV1TABLE_SIZE (NUM_LV1ENTRIES * sizeof(sysmmu_pte_t))
for (i = 0; i < NUM_LV1ENTRIES; i++)