((x) >= PAGE_OFFSET && (!IS_ENABLED(CONFIG_64BIT) || (x) < PAGE_OFFSET + KERN_VIRT_SIZE))
 
 #define linear_mapping_pa_to_va(x)     ((void *)((unsigned long)(x) + kernel_map.va_pa_offset))
-#define kernel_mapping_pa_to_va(y)     ({                                              \
-       unsigned long _y = y;                                                           \
-       (IS_ENABLED(CONFIG_XIP_KERNEL) && _y < phys_ram_base) ?                                 \
-               (void *)((unsigned long)(_y) + kernel_map.va_kernel_xip_pa_offset) :            \
-               (void *)((unsigned long)(_y) + kernel_map.va_kernel_pa_offset + XIP_OFFSET);    \
+#define kernel_mapping_pa_to_va(y)     ({                                      \
+       unsigned long _y = (unsigned long)(y);                                  \
+       (IS_ENABLED(CONFIG_XIP_KERNEL) && _y < phys_ram_base) ?                 \
+               (void *)(_y + kernel_map.va_kernel_xip_pa_offset) :             \
+               (void *)(_y + kernel_map.va_kernel_pa_offset + XIP_OFFSET);     \
        })
 #define __pa_to_va_nodebug(x)          linear_mapping_pa_to_va(x)
 
 #define linear_mapping_va_to_pa(x)     ((unsigned long)(x) - kernel_map.va_pa_offset)
 #define kernel_mapping_va_to_pa(y) ({                                          \
-       unsigned long _y = y;                                                   \
-       (IS_ENABLED(CONFIG_XIP_KERNEL) && _y < kernel_map.virt_addr + XIP_OFFSET) ?     \
-               ((unsigned long)(_y) - kernel_map.va_kernel_xip_pa_offset) :            \
-               ((unsigned long)(_y) - kernel_map.va_kernel_pa_offset - XIP_OFFSET);    \
+       unsigned long _y = (unsigned long)(y);                                  \
+       (IS_ENABLED(CONFIG_XIP_KERNEL) && _y < kernel_map.virt_addr + XIP_OFFSET) ? \
+               (_y - kernel_map.va_kernel_xip_pa_offset) :                     \
+               (_y - kernel_map.va_kernel_pa_offset - XIP_OFFSET);             \
        })
 
 #define __va_to_pa_nodebug(x)  ({                                              \
 
  */
 static void __init pt_ops_set_fixmap(void)
 {
-       pt_ops.alloc_pte = kernel_mapping_pa_to_va((uintptr_t)alloc_pte_fixmap);
-       pt_ops.get_pte_virt = kernel_mapping_pa_to_va((uintptr_t)get_pte_virt_fixmap);
+       pt_ops.alloc_pte = kernel_mapping_pa_to_va(alloc_pte_fixmap);
+       pt_ops.get_pte_virt = kernel_mapping_pa_to_va(get_pte_virt_fixmap);
 #ifndef __PAGETABLE_PMD_FOLDED
-       pt_ops.alloc_pmd = kernel_mapping_pa_to_va((uintptr_t)alloc_pmd_fixmap);
-       pt_ops.get_pmd_virt = kernel_mapping_pa_to_va((uintptr_t)get_pmd_virt_fixmap);
-       pt_ops.alloc_pud = kernel_mapping_pa_to_va((uintptr_t)alloc_pud_fixmap);
-       pt_ops.get_pud_virt = kernel_mapping_pa_to_va((uintptr_t)get_pud_virt_fixmap);
-       pt_ops.alloc_p4d = kernel_mapping_pa_to_va((uintptr_t)alloc_p4d_fixmap);
-       pt_ops.get_p4d_virt = kernel_mapping_pa_to_va((uintptr_t)get_p4d_virt_fixmap);
+       pt_ops.alloc_pmd = kernel_mapping_pa_to_va(alloc_pmd_fixmap);
+       pt_ops.get_pmd_virt = kernel_mapping_pa_to_va(get_pmd_virt_fixmap);
+       pt_ops.alloc_pud = kernel_mapping_pa_to_va(alloc_pud_fixmap);
+       pt_ops.get_pud_virt = kernel_mapping_pa_to_va(get_pud_virt_fixmap);
+       pt_ops.alloc_p4d = kernel_mapping_pa_to_va(alloc_p4d_fixmap);
+       pt_ops.get_p4d_virt = kernel_mapping_pa_to_va(get_p4d_virt_fixmap);
 #endif
 }