vgascreen
struct vgascreen *scr = id;
struct vgascreen vga_console_screen;
struct vgascreen *scr = id;
int vga_selectfont(struct vga_config *, struct vgascreen *,
void vga_init_screen(struct vga_config *, struct vgascreen *,
void vga_setfont(struct vga_config *, struct vgascreen *);
struct vgascreen *scr = id;
struct vgascreen *scr = c;
vga_selectfont(struct vga_config *vc, struct vgascreen *scr, const char *name1,
vga_init_screen(struct vga_config *vc, struct vgascreen *scr,
struct vgascreen *scr;
scr = malloc(sizeof(struct vgascreen), M_DEVBUF, M_WAITOK);
struct vgascreen *vs = cookie;
vga_setfont(struct vga_config *vc, struct vgascreen *scr)
struct vgascreen *scr = cookie, *oldscr;
struct vgascreen *scr, *oldscr;
struct vgascreen *scr = cookie;
struct vgascreen *scr = cookie;
struct vgascreen *scr = id;
LIST_ENTRY(vgascreen) next;
LIST_HEAD(, vgascreen) screens;
struct vgascreen *active; /* current display */
struct vgascreen *wantedscreen;
struct vgascreen *scr;
struct vgascreen *scr;