Rev 3790 | Rev 3961 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3790 | Rev 3935 | ||
|---|---|---|---|
| Line 152... | Line 152... | ||
| 152 | hw_map(aligned_addr, offset + size) + offset, inr, cir, cir_arg); |
152 | hw_map(aligned_addr, offset + size) + offset, inr, cir, cir_arg); |
| 153 | break; |
153 | break; |
| 154 | #endif |
154 | #endif |
| 155 | #ifdef CONFIG_NS16550 |
155 | #ifdef CONFIG_NS16550 |
| 156 | case KBD_NS16550: |
156 | case KBD_NS16550: |
| 157 | ns16550_init(device_assign_devno(), |
157 | (void) ns16550_init((ns16550_t *) (hw_map(aligned_addr, |
| 158 | (ioport_t) (hw_map(aligned_addr, offset + size) + offset), inr, cir, cir_arg); |
158 | offset + size) + offset), device_assign_devno(), inr, cir, |
| - | 159 | cir_arg); |
|
| 159 | break; |
160 | break; |
| 160 | #endif |
161 | #endif |
| 161 | default: |
162 | default: |
| 162 | printf("Kernel is not compiled with the necessary keyboard " |
163 | printf("Kernel is not compiled with the necessary keyboard " |
| 163 | "driver this machine requires.\n"); |
164 | "driver this machine requires.\n"); |