walk_pmd_range
static int walk_pmd_range(pud_t *pud, unsigned long addr, unsigned long end,
static void walk_pmd_range(pud_t *pud, unsigned long start, unsigned long end,