Rev 4023 | Rev 4031 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4023 | Rev 4026 | ||
---|---|---|---|
Line 166... | Line 166... | ||
166 | 166 | ||
167 | #ifdef CONFIG_NS16550 |
167 | #ifdef CONFIG_NS16550 |
168 | inr = NS16550_IRQ; |
168 | inr = NS16550_IRQ; |
169 | (void) ns16550_init((ns16550_t *)NS16550_BASE, devno, inr, NULL, NULL); |
169 | (void) ns16550_init((ns16550_t *)NS16550_BASE, devno, inr, NULL, NULL); |
170 | sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550); |
170 | sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550); |
171 | sysinfo_set_item_val("kbd.port", NULL, (uintptr_t)NS16550_BASE); |
171 | sysinfo_set_item_val("kbd.address.physical", NULL, |
- | 172 | (uintptr_t) NS16550_BASE); |
|
- | 173 | sysinfo_set_item_val("kbd.address.kernel", NULL, |
|
- | 174 | (uintptr_t) NS16550_BASE); |
|
172 | #else |
175 | #else |
173 | inr = IRQ_KBD; |
176 | inr = IRQ_KBD; |
174 | (void) i8042_init((i8042_t *)I8042_BASE, devno, inr); |
177 | (void) i8042_init((i8042_t *)I8042_BASE, devno, inr); |
175 | sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY); |
178 | sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY); |
- | 179 | sysinfo_set_item_val("kbd.address.physical", NULL, |
|
- | 180 | (uintptr_t) I8042_BASE); |
|
- | 181 | sysinfo_set_item_val("kbd.address.kernel", NULL, |
|
- | 182 | (uintptr_t) I8042_BASE); |
|
176 | #endif |
183 | #endif |
177 | sysinfo_set_item_val("kbd", NULL, true); |
184 | sysinfo_set_item_val("kbd", NULL, true); |
178 | sysinfo_set_item_val("kbd.devno", NULL, devno); |
185 | sysinfo_set_item_val("kbd.devno", NULL, devno); |
179 | sysinfo_set_item_val("kbd.inr", NULL, inr); |
186 | sysinfo_set_item_val("kbd.inr", NULL, inr); |
180 | #endif |
187 | #endif |