// Set blinking mode (when enabled, palette index bit 0x08 indicates blinking)
void
-stdvga_toggle_intensity(u8 flag)
+stdvga_set_palette_blinking(u8 enable_blink)
{
- stdvga_attr_mask(0x10, 0x08, (flag & 0x01) << 3);
+ stdvga_attr_mask(0x10, 0x08, (enable_blink & 0x01) << 3);
}
void
u8 stdvga_get_overscan_border_color(void);
void stdvga_set_all_palette_reg(u16 seg, u8 *data_far);
void stdvga_get_all_palette_reg(u16 seg, u8 *data_far);
-void stdvga_toggle_intensity(u8 flag);
+void stdvga_set_palette_blinking(u8 enable_blink);
void stdvga_select_video_dac_color_page(u8 flag, u8 data);
void stdvga_read_video_dac_state(u8 *pmode, u8 *curpage);
void stdvga_perform_gray_scale_summing(u16 start, u16 count);