Index: genarch/include/firmware/ofw/ofw.h
===================================================================
--- genarch/include/firmware/ofw/ofw.h	(revision 807d2d4b1533bbdc93a8288995fc3fa955e97bf9)
+++ genarch/include/firmware/ofw/ofw.h	(revision 39cb79a9368f38b7f9b04ba422b5d771243ffc17)
@@ -34,7 +34,7 @@
 #define MAX_OFW_ARGS	10
 
-typedef __u32 ofw_arg_t;
-typedef __u32 ihandle;
-typedef __u32 phandle;
+typedef __native ofw_arg_t;
+typedef int ihandle;
+typedef int phandle;
 
 /** OpenFirmware command structure
@@ -43,6 +43,6 @@
 typedef struct {
 	const char *service;          /**< Command name */
-	__u32 nargs;                  /**< Number of in arguments */
-	__u32 nret;                   /**< Number of out arguments */
+	__native nargs;               /**< Number of in arguments */
+	__native nret;                /**< Number of out arguments */
 	ofw_arg_t args[MAX_OFW_ARGS]; /**< List of arguments */
 } ofw_args_t;
@@ -54,5 +54,5 @@
 extern void ofw_init(void);
 extern void ofw_done(void);
-extern __address ofw_call(const char *service, const int nargs, const int nret, ...);
+extern __native ofw_call(const char *service, const int nargs, const int nret, ...);
 extern void ofw_putchar(const char ch);
 extern phandle ofw_find_device(const char *name);
Index: genarch/src/firmware/ofw/ofw.c
===================================================================
--- genarch/src/firmware/ofw/ofw.c	(revision 807d2d4b1533bbdc93a8288995fc3fa955e97bf9)
+++ genarch/src/firmware/ofw/ofw.c	(revision 39cb79a9368f38b7f9b04ba422b5d771243ffc17)
@@ -50,9 +50,9 @@
 void ofw_done(void)
 {
-	ofw_call("exit", 0, 0);
+	(void) ofw_call("exit", 0, 0);
 	cpu_halt();
 }
 
-__address ofw_call(const char *service, const int nargs, const int nret, ...)
+__native ofw_call(const char *service, const int nargs, const int nret, ...)
 {
 	va_list list;
@@ -82,15 +82,15 @@
 		return;
 	
-	ofw_call("write", 3, 1, ofw_stdout, &ch, 1);
+	(void) ofw_call("write", 3, 1, ofw_stdout, &ch, 1);
 }
 
 phandle ofw_find_device(const char *name)
 {
-	return ofw_call("finddevice", 1, 1, name);
+	return (phandle) ofw_call("finddevice", 1, 1, name);
 }
 
 int ofw_get_property(const phandle device, const char *name, void *buf, const int buflen)
 {
-	return ofw_call("getprop", 4, 1, device, name, buf, buflen);
+	return (int) ofw_call("getprop", 4, 1, device, name, buf, buflen);
 }
 
