HIL_DEVICE_KEYBOARD  556 dev/hil/hil.c  			    ha.ha_type == HIL_DEVICE_KEYBOARD &&
HIL_DEVICE_KEYBOARD   55 dev/hil/hildevs_data.h 	{ 0xa0, 0xbf, HIL_DEVICE_KEYBOARD, "93-key keyboard" },
HIL_DEVICE_KEYBOARD   56 dev/hil/hildevs_data.h 	{ 0xc0, 0xdf, HIL_DEVICE_KEYBOARD, "109-key keyboard" },
HIL_DEVICE_KEYBOARD   57 dev/hil/hildevs_data.h 	{ 0xe0, 0xff, HIL_DEVICE_KEYBOARD, "87-key keyboard" },
HIL_DEVICE_KEYBOARD  138 dev/hil/hilkbd.c 	if (ha->ha_type != HIL_DEVICE_KEYBOARD &&
HIL_DEVICE_KEYBOARD  160 dev/hil/hilkbd.c 	if (ha->ha_type == HIL_DEVICE_KEYBOARD) {