vga_ts_read
vga_ts_write(vh, mode, (vga_ts_read(vh, mode) & ~0x20));
vga_ts_write(vh, mode, (vga_ts_read(vh, mode) | 0x20));