309 KBDC 
362 kbdc_lock(KBDC p, int lock)  in kbdc_lock()
374 kbdc_data_ready(KBDC p)  in kbdc_data_ready()
578 write_controller_command(KBDC p, int c)  in write_controller_command()
588 write_controller_data(KBDC p, int c)  in write_controller_data()
598 write_kbd_command(KBDC p, int c)  in write_kbd_command()
608 write_aux_command(KBDC p, int c)  in write_aux_command()
622 send_kbd_command(KBDC p, int c)  in send_kbd_command()
639 send_aux_command(KBDC p, int c)  in send_aux_command()
666 send_kbd_command_and_data(KBDC p, int c, int d)  in send_kbd_command_and_data()
695 send_aux_command_and_data(KBDC p, int c, int d)  in send_aux_command_and_data()
728 read_controller_data(KBDC p)  in read_controller_data()
745 read_kbd_data(KBDC p)  in read_kbd_data()
768 read_kbd_data_no_wait(KBDC p)  in read_kbd_data_no_wait()
799 read_aux_data(KBDC p)  in read_aux_data()
812 read_aux_data_no_wait(KBDC p)  in read_aux_data_no_wait()
833 empty_kbd_buffer(KBDC p, int wait)  in empty_kbd_buffer()
872 empty_aux_buffer(KBDC p, int wait)  in empty_aux_buffer()
911 empty_both_buffers(KBDC p, int wait)  in empty_both_buffers()
963 reset_kbd(KBDC p)  in reset_kbd()
1001 reset_aux_dev(KBDC p)  in reset_aux_dev()
1049 test_controller(KBDC p)  in test_controller()
1077 test_kbd_port(KBDC p)  in test_kbd_port()
1103 test_aux_port(KBDC p)  in test_aux_port()
1129 kbdc_get_device_mask(KBDC p)  in kbdc_get_device_mask()
1135 kbdc_set_device_mask(KBDC p, int mask)  in kbdc_set_device_mask()
1143 get_controller_command_byte(KBDC p)  in get_controller_command_byte()
1155 set_controller_command_byte(KBDC p, int mask, int command)  in set_controller_command_byte()
1184 set_aux_mux_state(KBDC p, int enabled)  in set_aux_mux_state()
1208 set_active_aux_mux_port(KBDC p, int port)  in set_active_aux_mux_port()
1224 enable_aux_mux(KBDC p)  in enable_aux_mux()
1238 disable_aux_mux(KBDC p)  in disable_aux_mux()
1247 aux_mux_is_enabled(KBDC p)  in aux_mux_is_enabled()