173 |
} |
} |
174 |
|
|
175 |
static grub_err_t |
static grub_err_t |
176 |
grub_vga_init (void) |
grub_vga_mod_init (void) |
177 |
{ |
{ |
178 |
vga_font = grub_vga_get_font (); |
vga_font = grub_vga_get_font (); |
179 |
text_mode = grub_vga_set_mode (0x10); |
text_mode = grub_vga_set_mode (0x10); |
188 |
} |
} |
189 |
|
|
190 |
static grub_err_t |
static grub_err_t |
191 |
grub_vga_fini (void) |
grub_vga_mod_fini (void) |
192 |
{ |
{ |
193 |
set_map_mask (saved_map_mask); |
set_map_mask (saved_map_mask); |
194 |
grub_vga_set_mode (text_mode); |
grub_vga_set_mode (text_mode); |
578 |
static struct grub_term grub_vga_term = |
static struct grub_term grub_vga_term = |
579 |
{ |
{ |
580 |
.name = "vga", |
.name = "vga", |
581 |
.init = grub_vga_init, |
.init = grub_vga_mod_init, |
582 |
.fini = grub_vga_fini, |
.fini = grub_vga_mod_fini, |
583 |
.putchar = grub_vga_putchar, |
.putchar = grub_vga_putchar, |
584 |
.getcharwidth = grub_vga_getcharwidth, |
.getcharwidth = grub_vga_getcharwidth, |
585 |
.checkkey = grub_console_checkkey, |
.checkkey = grub_console_checkkey, |
595 |
.next = 0 |
.next = 0 |
596 |
}; |
}; |
597 |
|
|
598 |
GRUB_MOD_INIT |
GRUB_MOD_INIT(vga) |
599 |
{ |
{ |
600 |
|
#ifndef GRUB_UTIL |
601 |
my_mod = mod; |
my_mod = mod; |
602 |
|
#endif |
603 |
grub_term_register (&grub_vga_term); |
grub_term_register (&grub_vga_term); |
604 |
} |
} |
605 |
|
|
606 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(vga) |
607 |
{ |
{ |
608 |
grub_term_unregister (&grub_vga_term); |
grub_term_unregister (&grub_vga_term); |
609 |
} |
} |