4 #include "types.h" // u8
5 #include "config.h" // CONFIG_*
7 #include "clext.h" // clext_set_mode
8 #include "bochsvga.h" // bochsvga_set_mode
9 #include "stdvga.h" // stdvga_set_mode
10 #include "geodevga.h" // geodevga_init
12 static inline int vgahw_set_mode(int mode, int flags) {
13 if (CONFIG_VGA_CIRRUS)
14 return clext_set_mode(mode, flags);
16 return bochsvga_set_mode(mode, flags);
17 return stdvga_set_mode(mode, flags);
20 static inline int vgahw_init(void) {
21 if (CONFIG_VGA_CIRRUS)
24 return bochsvga_init();
25 if (CONFIG_VGA_GEODEGX2 || CONFIG_VGA_GEODELX)
26 return geodevga_init();