Index: kernel/arch/ia64/include/arch/mm/page.h
===================================================================
--- kernel/arch/ia64/include/arch/mm/page.h	(revision 926010246a89088c7694f5b643c549ac4e798fdb)
+++ kernel/arch/ia64/include/arch/mm/page.h	(revision c342e885eda678f90d94f87b8d6e3fa21ef72784)
@@ -59,6 +59,6 @@
 #define REGION_REGISTERS  8
 
-#define KA2PA(x)  ((uintptr_t) ((x) - (VRN_KERNEL << VRN_SHIFT)))
-#define PA2KA(x)  ((uintptr_t) ((x) + (VRN_KERNEL << VRN_SHIFT)))
+#define KA2PA(x)  (((uintptr_t) (x)) - (VRN_KERNEL << VRN_SHIFT))
+#define PA2KA(x)  (((uintptr_t) (x)) + (VRN_KERNEL << VRN_SHIFT))
 
 #define VHPT_WIDTH  20  /* 1M */