/* ps2_is_keyboard_id() checks received ID byte against the list of known keyboard IDs.  */
int ps2_is_keyboard_id(char id_byte)
/* ps2_is_keyboard_id() checks received ID byte against the list of known keyboard IDs.  */
int ps2_is_keyboard_id(char id_byte)
{
	static const char keyboard_ids[] = {
		0xab,
		0xac,
		0x2b,
		0x5d,
		0x60,
		0x47,
	};
	return memchr(keyboard_ids, id_byte, sizeof(keyboard_ids)) != NULL;
}