2 * Copyright (c) 2001 The FreeBSD Project, Inc.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
14 * THIS SOFTWARE IS PROVIDED BY The FreeBSD Project, Inc. AND CONTRIBUTORS
15 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
16 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL The FreeBSD Project, Inc. OR
18 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
19 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
20 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
21 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
22 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
23 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
24 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29 /* TTY subsystem XXX rewrite! */
36 u_short KbdRead(void);
37 u_short KbdPeek(void);
38 void KbdWrite(u_short);
42 void get_ximage(void);
43 void init_window(void);
44 void init_ximage(int, int);
46 void resize_window(void);
47 int tty_eread(REGISTERS, int, int);
49 void tty_write(int, int);
50 void tty_rwrite(int, int, int);
51 void tty_move(int, int);
52 int tty_read(regcontext_t *, int);
53 void tty_report(int *, int *);
57 int tty_peek(REGISTERS, int);
59 void tty_scroll(int, int, int, int, int, int);
60 void tty_rscroll(int, int, int, int, int, int);
61 int tty_char(int, int);
62 void video_blink(int);
63 void video_setborder(int);
64 void video_update(regcontext_t *);
65 void console_init(void);
67 void kbd_bios_init(void);
68 void update_pixels(void);