Index: genarch/src/firmware/ofw/ofw.c
===================================================================
--- genarch/src/firmware/ofw/ofw.c	(revision 34d9ab28be200edae8133cce97eb8ad2ff9d30a3)
+++ genarch/src/firmware/ofw/ofw.c	(revision 2cd0485d2e900e9cb3a5b2f8eb3d987e49103a61)
@@ -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);
 }