292 KBDC 
345 kbdc_lock(KBDC p, int lock)  in kbdc_lock()
357 kbdc_data_ready(KBDC p)  in kbdc_data_ready()
561 write_controller_command(KBDC p, int c)  in write_controller_command()
571 write_controller_data(KBDC p, int c)  in write_controller_data()
581 write_kbd_command(KBDC p, int c)  in write_kbd_command()
591 write_aux_command(KBDC p, int c)  in write_aux_command()
605 send_kbd_command(KBDC p, int c)  in send_kbd_command()
622 send_aux_command(KBDC p, int c)  in send_aux_command()
649 send_kbd_command_and_data(KBDC p, int c, int d)  in send_kbd_command_and_data()
678 send_aux_command_and_data(KBDC p, int c, int d)  in send_aux_command_and_data()
711 read_controller_data(KBDC p)  in read_controller_data()
728 read_kbd_data(KBDC p)  in read_kbd_data()
751 read_kbd_data_no_wait(KBDC p)  in read_kbd_data_no_wait()
782 read_aux_data(KBDC p)  in read_aux_data()
795 read_aux_data_no_wait(KBDC p)  in read_aux_data_no_wait()
816 empty_kbd_buffer(KBDC p, int wait)  in empty_kbd_buffer()
855 empty_aux_buffer(KBDC p, int wait)  in empty_aux_buffer()
894 empty_both_buffers(KBDC p, int wait)  in empty_both_buffers()
946 reset_kbd(KBDC p)  in reset_kbd()
984 reset_aux_dev(KBDC p)  in reset_aux_dev()
1032 test_controller(KBDC p)  in test_controller()
1060 test_kbd_port(KBDC p)  in test_kbd_port()
1086 test_aux_port(KBDC p)  in test_aux_port()
1112 kbdc_get_device_mask(KBDC p)  in kbdc_get_device_mask()
1118 kbdc_set_device_mask(KBDC p, int mask)  in kbdc_set_device_mask()
1126 get_controller_command_byte(KBDC p)  in get_controller_command_byte()
1138 set_controller_command_byte(KBDC p, int mask, int command)  in set_controller_command_byte()
1167 set_aux_mux_state(KBDC p, int enabled)  in set_aux_mux_state()
1191 set_active_aux_mux_port(KBDC p, int port)  in set_active_aux_mux_port()
1207 enable_aux_mux(KBDC p)  in enable_aux_mux()
1221 disable_aux_mux(KBDC p)  in disable_aux_mux()
1230 aux_mux_is_enabled(KBDC p)  in aux_mux_is_enabled()