vga_get_grc
printf("%2x ", vga_get_grc(reg, i+j));
extern int vga_get_grc(vgaregmap_t reg, int i);
vga_reg->vga_grc[i] = vga_get_grc(regs, i);