Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3343 | Rev 3397 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | return ((ofw_entry_t) ofw_cif)(args); |
37 | return ((ofw_entry_t) ofw_cif)(args); |
38 | } |
38 | } |
39 | 39 | ||
40 | void write(const char *str, const int len) |
40 | void write(const char *str, const int len) |
41 | { |
41 | { |
- | 42 | int i; |
|
- | 43 | ||
- | 44 | for (i = 0; i < len; i++) { |
|
- | 45 | if (str[i] == '\n') |
|
- | 46 | ofw_write("\r", 1); |
|
42 | ofw_write(str, len); |
47 | ofw_write(&str[i], 1); |
- | 48 | } |
|
43 | } |
49 | } |
44 | 50 | ||
45 | int ofw_keyboard(keyboard_t *keyboard) |
51 | int ofw_keyboard(keyboard_t *keyboard) |
46 | { |
52 | { |
47 | char device_name[BUF_SIZE]; |
53 | char device_name[BUF_SIZE]; |