| 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) |