49,11 → 49,11 |
|
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; |
ofw_args_t args; |
81,17 → 81,17 |
if (ofw_stdout == 0) |
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); |
} |
|
void *ofw_claim(const void *addr, const int size, const int align) |