config            322 drivers/char/keyboard.c 	unsigned char config;
config            332 drivers/char/keyboard.c 	config = 0;
config            335 drivers/char/keyboard.c 		config = inport_b(KB_DATA);
config            337 drivers/char/keyboard.c 	ps2_active_ports = config & 0x01 ? 1 : 0;
config            338 drivers/char/keyboard.c 	ps2_active_ports += config & 0x02 ? 1 : 0;
config            339 drivers/char/keyboard.c 	ps2_supp_ports = 1 + (config & 0x20 ? 1 : 0);
config            360 drivers/char/keyboard.c 	keyboard_write(KB_DATA, config);