Index: kernel/arch/ia64/include/arch/mm/page.h
===================================================================
--- kernel/arch/ia64/include/arch/mm/page.h	(revision 3eebe571041662ab78564d10118fa22413a60a5e)
+++ kernel/arch/ia64/include/arch/mm/page.h	(revision 1cf26abf038d0db4ca5f4e0a43ca1b41d655b01e)
@@ -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 */