16,18d15
< #include <sys/types.h>
< #include <sys/bootinfo.h>
<
21a19,21
> #include <sys/types.h>
> #include <sys/bootinfo.h>
>
30c30,39
< extern boolean_t xbi_fb_init(struct xboot_info *);
---
> /* Console device callbacks. */
> typedef struct bcons_dev {
> void (*bd_putchar)(int);
> void (*bd_eraseline)(void);
> void (*bd_cursor)(boolean_t);
> void (*bd_setpos)(int, int);
> void (*bd_shift)(int);
> } bcons_dev_t;
>
> extern boolean_t xbi_fb_init(struct xboot_info *, bcons_dev_t *);
32,33c41,42
< extern void boot_fb_putchar(uint8_t);
< extern void boot_vga_init(int);
---
> extern void boot_vga_init(bcons_dev_t *);
> extern void boot_get_color(uint32_t *, uint32_t *);
35,39d43
< extern void vga_setpos(int, int);
< extern void vga_getpos(int *, int *);
< extern void vga_scroll(int);
< extern void vga_drawc(int, int);
<