186797937017f52bff088d02edf64fb931177a7eaJun Nakajima/* ps2.c */ 286797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid *ps2_kbd_init(void (*update_irq)(void *, int), void *update_arg); 386797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid *ps2_mouse_init(void (*update_irq)(void *, int), void *update_arg); 486797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid ps2_write_mouse(void *, int val); 586797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid ps2_write_keyboard(void *, int val); 686797937017f52bff088d02edf64fb931177a7eaJun Nakajimauint32_t ps2_read_data(void *); 786797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid ps2_queue(void *, int b); 886797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid ps2_keyboard_set_translation(void *opaque, int mode); 986797937017f52bff088d02edf64fb931177a7eaJun Nakajimavoid ps2_mouse_fake_event(void *opaque); 10