ARM_MMU_L2_COARSE_ENTRY_COUNT
#define ARM_MMU_L2_COARSE_TABLE_SIZE (ARM_MMU_L2_COARSE_ENTRY_COUNT \
for (uint32_t j = 0; j < ARM_MMU_L2_COARSE_ENTRY_COUNT; j++) {
sNextPageTable += ARM_MMU_L2_COARSE_ENTRY_COUNT;
B_PAGE_SIZE * ARM_MMU_L2_COARSE_ENTRY_COUNT)))
static const size_t kPageTableAlignment = ARM_MMU_L2_COARSE_ENTRY_COUNT * B_PAGE_SIZE;