vga_allocattr
static int vga_allocattr(void *, int, int, int, long *);
vga_allocattr,
res = vga_allocattr(scr, WSCOL_WHITE, WSCOL_BLUE,
res = vga_allocattr(scr, 0, 0, 0, attrp);