HIL_DEVICE_BUTTONBOX   37 dev/hil/hildevs_data.h 	{ 0x00, 0x1f, HIL_DEVICE_BUTTONBOX, "Keypad" },
HIL_DEVICE_BUTTONBOX   38 dev/hil/hildevs_data.h 	{ 0x2f, 0x2f, HIL_DEVICE_BUTTONBOX, "LPFK Button box" },
HIL_DEVICE_BUTTONBOX   39 dev/hil/hildevs_data.h 	{ 0x30, 0x33, HIL_DEVICE_BUTTONBOX, "Button box" },	/* 31-33 rumored not to exist */
HIL_DEVICE_BUTTONBOX   41 dev/hil/hildevs_data.h 	{ 0x35, 0x3f, HIL_DEVICE_BUTTONBOX, "Button box" },
HIL_DEVICE_BUTTONBOX   42 dev/hil/hildevs_data.h 	{ 0x5c, 0x5f, HIL_DEVICE_BUTTONBOX, "Barcode reader" },
HIL_DEVICE_BUTTONBOX  139 dev/hil/hilkbd.c 	    ha->ha_type != HIL_DEVICE_BUTTONBOX)
HIL_DEVICE_BUTTONBOX  204 dev/hil/hilkbd.c 	if (ha->ha_type == HIL_DEVICE_BUTTONBOX)