ARM_V7S_PTE_TYPE_TABLE
new = phys | ARM_V7S_PTE_TYPE_TABLE;
((lvl) == 1 && (((pte) & 0x3) == ARM_V7S_PTE_TYPE_TABLE))