vga_ts_read      1302 dev/ic/vga.c   		vga_ts_write(vh, mode, (vga_ts_read(vh, mode) & ~0x20));
vga_ts_read      1307 dev/ic/vga.c   		vga_ts_write(vh, mode, (vga_ts_read(vh, mode) | 0x20));