Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/generic/src/printf/printf_core.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -76,5 +76,4 @@
 	PrintfQualifierLong,
 	PrintfQualifierLongLong,
-	PrintfQualifierNative,
 	PrintfQualifierPointer
 } qualifier_t;
@@ -433,5 +432,4 @@
  * 	- "l"	Signed or unsigned long int.@n
  * 	- "ll"	Signed or unsigned long long int.@n
- * 	- "z"	unative_t (non-standard extension).@n
  * 
  * 
@@ -487,5 +485,5 @@
 	while ((c = fmt[i])) {
 		/* control character */
-		if (c == '%' ) { 
+		if (c == '%') { 
 			/* print common characters if any processed */	
 			if (i > j) {
@@ -537,5 +535,5 @@
 				/* get width value from argument list */
 				i++;
-				width = (int)va_arg(ap, int);
+				width = (int) va_arg(ap, int);
 				if (width < 0) {
 					/* negative width sets '-' flag */
@@ -560,5 +558,5 @@
 					 */
 					i++;
-					precision = (int)va_arg(ap, int);
+					precision = (int) va_arg(ap, int);
 					if (precision < 0) {
 						/* ignore negative precision */
@@ -585,7 +583,4 @@
 					qualifier = PrintfQualifierLongLong;
 				}
-				break;
-			case 'z':	/* unative_t */
-				qualifier = PrintfQualifierNative;
 				break;
 			default:
@@ -628,5 +623,5 @@
 			 */
 			case 'P': /* pointer */
-			       	flags |= __PRINTF_FLAG_BIGCHARS;
+				flags |= __PRINTF_FLAG_BIGCHARS;
 			case 'p':
 				flags |= __PRINTF_FLAG_PREFIX;
@@ -671,31 +666,25 @@
 			case PrintfQualifierByte:
 				size = sizeof(unsigned char);
-				number = (uint64_t)va_arg(ap, unsigned int);
+				number = (uint64_t) va_arg(ap, unsigned int);
 				break;
 			case PrintfQualifierShort:
 				size = sizeof(unsigned short);
-				number = (uint64_t)va_arg(ap, unsigned int);
+				number = (uint64_t) va_arg(ap, unsigned int);
 				break;
 			case PrintfQualifierInt:
 				size = sizeof(unsigned int);
-				number = (uint64_t)va_arg(ap, unsigned int);
+				number = (uint64_t) va_arg(ap, unsigned int);
 				break;
 			case PrintfQualifierLong:
 				size = sizeof(unsigned long);
-				number = (uint64_t)va_arg(ap, unsigned long);
+				number = (uint64_t) va_arg(ap, unsigned long);
 				break;
 			case PrintfQualifierLongLong:
 				size = sizeof(unsigned long long);
-				number = (uint64_t)va_arg(ap,
-				    unsigned long long);
+				number = (uint64_t) va_arg(ap, unsigned long long);
 				break;
 			case PrintfQualifierPointer:
 				size = sizeof(void *);
-				number = (uint64_t)(unsigned long)va_arg(ap,
-				    void *);
-				break;
-			case PrintfQualifierNative:
-				size = sizeof(unative_t);
-				number = (uint64_t)va_arg(ap, unative_t);
+				number = (uint64_t) (unsigned long) va_arg(ap, void *);
 				break;
 			default: /* Unknown qualifier */
@@ -709,5 +698,5 @@
 				
 					if (size == sizeof(uint64_t)) {
-						number = -((int64_t)number);
+						number = -((int64_t) number);
 					} else {
 						number = ~number;
@@ -735,5 +724,5 @@
 	
 	if (i > j) {
-		if ((retval = printf_putnchars(&fmt[j], (unative_t)(i - j),
+		if ((retval = printf_putnchars(&fmt[j], (unative_t) (i - j),
 		    ps)) < 0) { /* error */
 			counter = -counter;
@@ -745,5 +734,4 @@
 
 out:
-	
 	return counter;
 }
Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/generic/src/printf/vprintf.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -38,4 +38,6 @@
 #include <synch/spinlock.h>
 #include <arch/asm.h>
+#include <arch/types.h>
+#include <typedefs.h>
 
 SPINLOCK_INITIALIZE(printf_lock);			/**< vprintf spinlock */