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 3a9414e69cdbce3cfab8ca582a8a4ecc87c57ea0)
@@ -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 */