l1pde_is_block
} else if ((level == 1 && l1pde_is_block(pte)) ||
if (!l1pde_valid(pde) || l1pde_is_block(pde))
if ((level != 0 && level != 3 && l1pde_is_block(pde)) ||
if (!l1pde_valid(pde) || l1pde_is_block(pde))
if (l1pde_is_block(l1[idx])) {