Symbol: vga_get_cp437
stand/i386/libi386/vidconsole.c
337
addr[idx].ch = vga_get_cp437(px->c);
sys/dev/vt/hw/vga/vt_vga.c
904
ch = vga_get_cp437(TCHAR_CHARACTER(c));