current_pos      2454 dev/wscons/wsdisplay.c 	unsigned short current_pos;
current_pos      2461 dev/wscons/wsdisplay.c 	current_pos = start;
current_pos      2462 dev/wscons/wsdisplay.c 	while (current_pos <= end)
current_pos      2463 dev/wscons/wsdisplay.c 		inverse_char(current_pos++);