PG_LEVEL_NONE
WARN_ON_ONCE(level == PG_LEVEL_NONE);
TEST_ASSERT(*level == PG_LEVEL_NONE ||
TEST_ASSERT(*level >= PG_LEVEL_NONE && *level <= mmu->pgtable_levels,
int level = PG_LEVEL_NONE;