vga_pack_attr
int vga_pack_attr(void *, int, int, int, uint32_t *);
vga_pack_attr,
res = vga_pack_attr(scr, WSCOL_WHITE, WSCOL_BLUE,
res = vga_pack_attr(scr, 0, 0, 0, attrp);