Rev 1478 | Rev 1764 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1478 | Rev 1620 | ||
|---|---|---|---|
| Line 98... | Line 98... | ||
| 98 | if (!ofw_screen(&bootinfo.screen)) { |
98 | if (!ofw_screen(&bootinfo.screen)) { |
| 99 | printf("Error: unable to get screen properties, halting.\n"); |
99 | printf("Error: unable to get screen properties, halting.\n"); |
| 100 | halt(); |
100 | halt(); |
| 101 | } |
101 | } |
| 102 | 102 | ||
| - | 103 | if (!ofw_keyboard(&bootinfo.keyboard)) { |
|
| - | 104 | printf("Error: unable to get keyboard properties, halting.\n"); |
|
| - | 105 | halt(); |
|
| - | 106 | } |
|
| - | 107 | ||
| 103 | printf("\nDevice statistics\n"); |
108 | printf("\nDevice statistics\n"); |
| 104 | printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
109 | printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
| - | 110 | printf(" keyboard at %L (size %d bytes)\n", bootinfo.keyboard.addr, bootinfo.keyboard.size); |
|
| 105 | 111 | ||
| 106 | void *real_mode_pa = ofw_translate(&real_mode); |
112 | void *real_mode_pa = ofw_translate(&real_mode); |
| 107 | void *trans_pa = ofw_translate(&trans); |
113 | void *trans_pa = ofw_translate(&trans); |
| 108 | void *bootinfo_pa = ofw_translate(&bootinfo); |
114 | void *bootinfo_pa = ofw_translate(&bootinfo); |
| 109 | 115 | ||