320 KBDC 
373 kbdc_lock(KBDC p, int lock)  in kbdc_lock()
385 kbdc_data_ready(KBDC p)  in kbdc_data_ready()
589 write_controller_command(KBDC p, int c)  in write_controller_command()
599 write_controller_data(KBDC p, int c)  in write_controller_data()
609 write_kbd_command(KBDC p, int c)  in write_kbd_command()
619 write_aux_command(KBDC p, int c)  in write_aux_command()
633 send_kbd_command(KBDC p, int c)  in send_kbd_command()
650 send_aux_command(KBDC p, int c)  in send_aux_command()
677 send_kbd_command_and_data(KBDC p, int c, int d)  in send_kbd_command_and_data()
706 send_aux_command_and_data(KBDC p, int c, int d)  in send_aux_command_and_data()
739 read_controller_data(KBDC p)  in read_controller_data()
756 read_kbd_data(KBDC p)  in read_kbd_data()
779 read_kbd_data_no_wait(KBDC p)  in read_kbd_data_no_wait()
810 read_aux_data(KBDC p)  in read_aux_data()
823 read_aux_data_no_wait(KBDC p)  in read_aux_data_no_wait()
844 empty_kbd_buffer(KBDC p, int wait)  in empty_kbd_buffer()
883 empty_aux_buffer(KBDC p, int wait)  in empty_aux_buffer()
922 empty_both_buffers(KBDC p, int wait)  in empty_both_buffers()
974 reset_kbd(KBDC p)  in reset_kbd()
1012 reset_aux_dev(KBDC p)  in reset_aux_dev()
1060 test_controller(KBDC p)  in test_controller()
1088 test_kbd_port(KBDC p)  in test_kbd_port()
1114 test_aux_port(KBDC p)  in test_aux_port()
1140 kbdc_get_device_mask(KBDC p)  in kbdc_get_device_mask()
1146 kbdc_set_device_mask(KBDC p, int mask)  in kbdc_set_device_mask()
1154 get_controller_command_byte(KBDC p)  in get_controller_command_byte()
1166 set_controller_command_byte(KBDC p, int mask, int command)  in set_controller_command_byte()
1195 set_aux_mux_state(KBDC p, int enabled)  in set_aux_mux_state()
1219 set_active_aux_mux_port(KBDC p, int port)  in set_active_aux_mux_port()
1235 enable_aux_mux(KBDC p)  in enable_aux_mux()
1249 disable_aux_mux(KBDC p)  in disable_aux_mux()
1258 aux_mux_is_enabled(KBDC p)  in aux_mux_is_enabled()