vgafb_setcolor
fbwscons_setcolormap(&sc->sc_sunfb, vgafb_setcolor);
vgafb_setcolor);
void vgafb_setcolor(void *, u_int, u_int8_t, u_int8_t, u_int8_t);