vgascreen 70 dev/ic/vga.c struct vgascreen { vgascreen 73 dev/ic/vga.c LIST_ENTRY(vgascreen) next; vgascreen 87 dev/ic/vga.c struct vgascreen vga_console_screen; vgascreen 90 dev/ic/vga.c int vga_selectfont(struct vga_config *, struct vgascreen *, vgascreen 92 dev/ic/vga.c void vga_init_screen(struct vga_config *, struct vgascreen *, vgascreen 95 dev/ic/vga.c void vga_setfont(struct vga_config *, struct vgascreen *); vgascreen 336 dev/ic/vga.c struct vgascreen *scr; vgascreen 390 dev/ic/vga.c struct vgascreen *scr; vgascreen 660 dev/ic/vga.c struct vgascreen *scr; vgascreen 672 dev/ic/vga.c scr = malloc(sizeof(struct vgascreen), M_DEVBUF, M_WAITOK); vgascreen 697 dev/ic/vga.c struct vgascreen *vs = cookie; vgascreen 725 dev/ic/vga.c struct vgascreen *scr; vgascreen 747 dev/ic/vga.c struct vgascreen *scr = cookie, *oldscr; vgascreen 773 dev/ic/vga.c struct vgascreen *scr, *oldscr; vgascreen 849 dev/ic/vga.c struct vgascreen *scr = cookie; vgascreen 920 dev/ic/vga.c struct vgascreen *scr = cookie; vgascreen 965 dev/ic/vga.c struct vgascreen *scr = id; vgascreen 1000 dev/ic/vga.c struct vgascreen *scr = id; vgascreen 1023 dev/ic/vga.c struct vgascreen *scr = id; vgascreen 1252 dev/ic/vga.c struct vgascreen *scr = id; vgascreen 1281 dev/ic/vga.c struct vgascreen *scr = c; vgascreen 49 dev/ic/vgavar.h LIST_HEAD(, vgascreen) screens; vgascreen 50 dev/ic/vgavar.h struct vgascreen *active; /* current display */ vgascreen 56 dev/ic/vgavar.h struct vgascreen *wantedscreen;