{
        pudval_t ret;
 
-       if (sizeof(pudval_t) > sizeof(long))
-               ret = PVOP_CALLEE2(pudval_t, mmu.make_pud, val, (u64)val >> 32);
-       else
-               ret = PVOP_CALLEE1(pudval_t, mmu.make_pud, val);
+       ret = PVOP_CALLEE1(pudval_t, mmu.make_pud, val);
 
        return (pud_t) { ret };
 }
 
 static inline pudval_t pud_val(pud_t pud)
 {
-       pudval_t ret;
-
-       if (sizeof(pudval_t) > sizeof(long))
-               ret =  PVOP_CALLEE2(pudval_t, mmu.pud_val,
-                                   pud.pud, (u64)pud.pud >> 32);
-       else
-               ret =  PVOP_CALLEE1(pudval_t, mmu.pud_val, pud.pud);
-
-       return ret;
+       return PVOP_CALLEE1(pudval_t, mmu.pud_val, pud.pud);
 }
 
 static inline void pud_clear(pud_t *pudp)
 {
        p4dval_t val = native_p4d_val(p4d);
 
-       if (sizeof(p4dval_t) > sizeof(long))
-               PVOP_VCALL3(mmu.set_p4d, p4dp, val, (u64)val >> 32);
-       else
-               PVOP_VCALL2(mmu.set_p4d, p4dp, val);
+       PVOP_VCALL2(mmu.set_p4d, p4dp, val);
 }
 
 #if CONFIG_PGTABLE_LEVELS >= 5