intarg            378 dev/wscons/wsdisplay_compat_usl.c 	int intarg, res;
intarg            474 dev/wscons/wsdisplay_compat_usl.c 			intarg = WSDISPLAYIO_MODE_MAPPED;
intarg            477 dev/wscons/wsdisplay_compat_usl.c 			intarg = WSDISPLAYIO_MODE_EMUL;
intarg            483 dev/wscons/wsdisplay_compat_usl.c 		arg = &intarg;
intarg            507 dev/wscons/wsdisplay_compat_usl.c 		intarg = 0;
intarg            510 dev/wscons/wsdisplay_compat_usl.c 			intarg |= WSKBD_LED_CAPS;
intarg            512 dev/wscons/wsdisplay_compat_usl.c 			intarg |= WSKBD_LED_NUM;
intarg            514 dev/wscons/wsdisplay_compat_usl.c 			intarg |= WSKBD_LED_SCROLL;
intarg            516 dev/wscons/wsdisplay_compat_usl.c 		arg = &intarg;
intarg            520 dev/wscons/wsdisplay_compat_usl.c 		arg = &intarg;
intarg            527 dev/wscons/wsdisplay_compat_usl.c 			intarg = WSKBD_RAW;
intarg            530 dev/wscons/wsdisplay_compat_usl.c 			intarg = WSKBD_TRANSLATED;
intarg            535 dev/wscons/wsdisplay_compat_usl.c 		arg = &intarg;
intarg            539 dev/wscons/wsdisplay_compat_usl.c 		arg = &intarg;
intarg            552 dev/wscons/wsdisplay_compat_usl.c 		if (intarg & WSKBD_LED_CAPS)
intarg            554 dev/wscons/wsdisplay_compat_usl.c 		if (intarg & WSKBD_LED_NUM)
intarg            556 dev/wscons/wsdisplay_compat_usl.c 		if (intarg & WSKBD_LED_SCROLL)
intarg            562 dev/wscons/wsdisplay_compat_usl.c 		*(int *)data = (intarg == WSKBD_RAW ? K_RAW : K_XLATE);