ARM_V7S_PTE_IS_TABLE
if (ARM_V7S_PTE_IS_TABLE(pte, lvl))
if (lvl == 1 && !ARM_V7S_PTE_IS_TABLE(pte, lvl))
if (ARM_V7S_PTE_IS_TABLE(ptep[i], lvl)) {
if (ARM_V7S_PTE_IS_TABLE(pte, lvl)) {
if (ARM_V7S_PTE_IS_TABLE(pte, 1))
if (ARM_V7S_PTE_IS_TABLE(pte[i], lvl)) {
} else if (lvl == 1 && !ARM_V7S_PTE_IS_TABLE(pte[0], lvl)) {
} while (ARM_V7S_PTE_IS_TABLE(pte, lvl));