Rev 1837 | Rev 1894 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1837 | Rev 1881 | ||
---|---|---|---|
Line 64... | Line 64... | ||
64 | bootinfo.screen.scanline = bootinfo.screen.scanline*bpp2align[bootinfo.screen.bpp >> 3]; |
64 | bootinfo.screen.scanline = bootinfo.screen.scanline*bpp2align[bootinfo.screen.bpp >> 3]; |
65 | 65 | ||
66 | if (!ofw_keyboard(&bootinfo.keyboard)) |
66 | if (!ofw_keyboard(&bootinfo.keyboard)) |
67 | printf("Error: unable to get keyboard properties\n"); |
67 | printf("Error: unable to get keyboard properties\n"); |
68 | 68 | ||
- | 69 | if (!ofw_cpu(&bootinfo.cpu)) |
|
- | 70 | printf("Error: unable to get cpu properties\n"); |
|
- | 71 | ||
69 | printf("\nDevice statistics\n"); |
72 | printf("\nDevice statistics\n"); |
- | 73 | printf(" cpu: %dMHz\n", bootinfo.cpu.clock_frequency/1000000); |
|
70 | printf(" memory: %dM\n", bootinfo.memmap.total>>20); |
74 | printf(" memory: %dM\n", bootinfo.memmap.total>>20); |
71 | printf(" screen at %P, resolution %dx%d, %d bpp (scanline %d bytes)\n", (uintptr_t) bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
75 | printf(" screen at %P, resolution %dx%d, %d bpp (scanline %d bytes)\n", (uintptr_t) bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
72 | printf(" keyboard at %P (size %d bytes)\n", (uintptr_t) bootinfo.keyboard.addr, bootinfo.keyboard.size); |
76 | printf(" keyboard at %P (size %d bytes)\n", (uintptr_t) bootinfo.keyboard.addr, bootinfo.keyboard.size); |
73 | 77 | ||
74 | printf("\nMemory statistics\n"); |
78 | printf("\nMemory statistics\n"); |