is_huge_pte
TEST_ASSERT(!is_huge_pte(mmu, pte),
if (is_huge_pte(mmu, pte))
if (is_huge_pte(mmu, pte)) {