input/pc-ps2/i8042.c

169  * used for flushing buffers. the i8042 internal buffer shoudn't exceed this.
328                 xprintf("i8042: timeout reading; got %d bytes\n", i);
341     xprintf("i8042 ctl command 0x%04x\n", command & 0xffff);
371     xprintf("i8042 dev command 0x%04x\n", command & 0xffff);
387     xprintf("i8042 aux command\n");
451     //cprintf("i8042: scancode=0x%x, keyup=%u, multi=%u: usage=0x%x\n", scode, !!key_up, multi, usage);
559     xprintf("i8042 controller register: 0x%02x\n", *ctr);
567         printf("i8042 self-test failed\n");
575         printf("i8042 kbd test failed: 0x%02x\n", resp);
583             printf("i8042 mouse test failed: 0x%02x\n", resp);
596     printf("i8042 device ");
615     i8042_device_t* i8042 = ctx;
616     info->dev_num = i8042->type;  // use the type for the device number for now
617     info->dev_class = i8042->type;
623     i8042_device_t* i8042 = ctx;
624     mtx_lock(&i8042->lock);
625     if (i8042->ifc != NULL) {
626         mtx_unlock(&i8042->lock);
629     i8042->ifc = ifc;
630     i8042->cookie = cookie;
631     mtx_unlock(&i8042->lock);
636     i8042_device_t* i8042 = ctx;
637     mtx_lock(&i8042->lock);
638     i8042->ifc = NULL;
639     i8042->cookie = NULL;
640     mtx_unlock(&i8042->lock);
718     i8042_device_t* i8042 = ctx;
719     i8042_cleanup_irq_thread(i8042);
720     free(i8042);
754         "i8042-kbd-irq" : "i8042-mouse-irq";
808     status = i8042_dev_init(kbd_device, "i8042-keyboard", parent);
820             status = i8042_dev_init(mouse_device, "i8042-mouse", parent);
827     xprintf("initialized i8042 driver\n");
834     int rc = thrd_create_with_name(&t, i8042_init_thread, parent, "i8042-init");
843 ZIRCON_DRIVER_BEGIN(i8042, i8042_driver_ops, "zircon", "0.1", 6)
850 ZIRCON_DRIVER_END(i8042)