Index: kernel/arch/ia64/include/arch/types.h
===================================================================
--- kernel/arch/ia64/include/arch/types.h	(revision a4fb8d60ffb2469744f8d1f6fad67fae13d69fcd)
+++ kernel/arch/ia64/include/arch/types.h	(revision b1eb7efc7ead4b1bcc86297cb1d3fdc368f57a11)
@@ -36,17 +36,5 @@
 #define KERN_ia64_TYPES_H_
 
-#include <arch/common.h>
-
-typedef uint64_t size_t;
-typedef int64_t ssize_t;
-
-typedef uint64_t uintptr_t;
-typedef uint64_t pfn_t;
-
-typedef uint64_t ipl_t;
-
-typedef uint64_t sysarg_t;
-typedef int64_t native_t;
-typedef uint64_t atomic_count_t;
+#include <_bits/all.h>
 
 typedef struct {
@@ -55,9 +43,4 @@
 } __attribute__((may_alias)) fncptr_t;
 
-#define PRIdn  PRId64  /**< Format for native_t. */
-#define PRIun  PRIu64  /**< Format for sysarg_t. */
-#define PRIxn  PRIx64  /**< Format for hexadecimal sysarg_t. */
-#define PRIua  PRIu64  /**< Format for atomic_count_t. */
-
 #endif
 
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision a4fb8d60ffb2469744f8d1f6fad67fae13d69fcd)
+++ kernel/arch/ia64/src/interrupt.c	(revision b1eb7efc7ead4b1bcc86297cb1d3fdc368f57a11)
@@ -142,10 +142,10 @@
 	    istate->cr_isr.value, istate->cr_ipsr.value);
 	
-	printf("cr.iip=%#0" PRIx64 ", #%u\t(%s)\n",
+	printf("cr.iip=%#0" PRIxPTR ", #%u\t(%s)\n",
 	    istate->cr_iip, istate->cr_isr.ei,
 	    symtab_fmt_name_lookup(istate->cr_iip));
-	printf("cr.iipa=%#0" PRIx64 "\t(%s)\n", istate->cr_iipa,
+	printf("cr.iipa=%#0" PRIxPTR "\t(%s)\n", istate->cr_iipa,
 	    symtab_fmt_name_lookup(istate->cr_iipa));
-	printf("cr.ifa=%#0" PRIx64 "\t(%s)\n", istate->cr_ifa,
+	printf("cr.ifa=%#0" PRIxPTR "\t(%s)\n", istate->cr_ifa,
 	    symtab_fmt_name_lookup(istate->cr_ifa));
 }