Symbol: vt_vga2bsd
sys/dev/vt/vt_cpulogos.c
69
vd->vd_driver->vd_setpixel(vd, x, y, vt_vga2bsd(color >> 4));
sys/dev/vt/vt_cpulogos.c
70
vd->vd_driver->vd_setpixel(vd, x + 1, y, vt_vga2bsd(color & 0xf));