static void reset_colours_to_true(void) { #if (CYG_FB_FLAGS0_TRUE_COLOUR & CYG_FB_FLAGS0(FRAMEBUF)) int i; for (i = 0; i < 16; i++) { colours[i] = CYG_FB_MAKE_COLOUR(FRAMEBUF, cyg_fb_palette_vga[i + i + i], cyg_fb_palette_vga[i + i + i + 1],cyg_fb_palette_vga[i + i + i + 2]); } #endif }
static void reset_colours_to_true(void) { #if (CYG_FB_FLAGS0_TRUE_COLOUR & CYG_FB_FLAGS0(FRAMEBUF)) int i, j; for (i = 0; i < 16; i++) { colours[i] = CYG_FB_MAKE_COLOUR(FRAMEBUF, cyg_fb_palette_vga[i + i + i], cyg_fb_palette_vga[i + i + i + 1],cyg_fb_palette_vga[i + i + i + 2]); } for (i = 0; i < 8; i++) { for (j = 0; j < 8; j++) { bitmap16[i][j] = colours[bitmap16[i][j]]; bitmap32[i][j] = colours[bitmap32[i][j]]; } } #endif }