Symbol: vga_ts_read
sys/dev/ic/vga.c
1179
vga_ts_write(vh, mode, (vga_ts_read(vh, mode) & ~0x20));
sys/dev/ic/vga.c
1184
vga_ts_write(vh, mode, (vga_ts_read(vh, mode) | 0x20));