xref: /openbmc/qemu/hw/input/pckbd.c (revision 2822c1b6)
1 /*
2  * QEMU PC keyboard emulation
3  *
4  * Copyright (c) 2003 Fabrice Bellard
5  *
6  * Permission is hereby granted, free of charge, to any person obtaining a copy
7  * of this software and associated documentation files (the "Software"), to deal
8  * in the Software without restriction, including without limitation the rights
9  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10  * copies of the Software, and to permit persons to whom the Software is
11  * furnished to do so, subject to the following conditions:
12  *
13  * The above copyright notice and this permission notice shall be included in
14  * all copies or substantial portions of the Software.
15  *
16  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22  * THE SOFTWARE.
23  */
24 #include "hw/hw.h"
25 #include "hw/isa/isa.h"
26 #include "hw/i386/pc.h"
27 #include "hw/input/ps2.h"
28 #include "sysemu/sysemu.h"
29 
30 /* debug PC keyboard */
31 //#define DEBUG_KBD
32 #ifdef DEBUG_KBD
33 #define DPRINTF(fmt, ...)                                       \
34     do { printf("KBD: " fmt , ## __VA_ARGS__); } while (0)
35 #else
36 #define DPRINTF(fmt, ...)
37 #endif
38 
39 /*	Keyboard Controller Commands */
40 #define KBD_CCMD_READ_MODE	0x20	/* Read mode bits */
41 #define KBD_CCMD_WRITE_MODE	0x60	/* Write mode bits */
42 #define KBD_CCMD_GET_VERSION	0xA1	/* Get controller version */
43 #define KBD_CCMD_MOUSE_DISABLE	0xA7	/* Disable mouse interface */
44 #define KBD_CCMD_MOUSE_ENABLE	0xA8	/* Enable mouse interface */
45 #define KBD_CCMD_TEST_MOUSE	0xA9	/* Mouse interface test */
46 #define KBD_CCMD_SELF_TEST	0xAA	/* Controller self test */
47 #define KBD_CCMD_KBD_TEST	0xAB	/* Keyboard interface test */
48 #define KBD_CCMD_KBD_DISABLE	0xAD	/* Keyboard interface disable */
49 #define KBD_CCMD_KBD_ENABLE	0xAE	/* Keyboard interface enable */
50 #define KBD_CCMD_READ_INPORT    0xC0    /* read input port */
51 #define KBD_CCMD_READ_OUTPORT	0xD0    /* read output port */
52 #define KBD_CCMD_WRITE_OUTPORT	0xD1    /* write output port */
53 #define KBD_CCMD_WRITE_OBUF	0xD2
54 #define KBD_CCMD_WRITE_AUX_OBUF	0xD3    /* Write to output buffer as if
55 					   initiated by the auxiliary device */
56 #define KBD_CCMD_WRITE_MOUSE	0xD4	/* Write the following byte to the mouse */
57 #define KBD_CCMD_DISABLE_A20    0xDD    /* HP vectra only ? */
58 #define KBD_CCMD_ENABLE_A20     0xDF    /* HP vectra only ? */
59 #define KBD_CCMD_PULSE_BITS_3_0 0xF0    /* Pulse bits 3-0 of the output port P2. */
60 #define KBD_CCMD_RESET          0xFE    /* Pulse bit 0 of the output port P2 = CPU reset. */
61 #define KBD_CCMD_NO_OP          0xFF    /* Pulse no bits of the output port P2. */
62 
63 /* Keyboard Commands */
64 #define KBD_CMD_SET_LEDS	0xED	/* Set keyboard leds */
65 #define KBD_CMD_ECHO     	0xEE
66 #define KBD_CMD_GET_ID 	        0xF2	/* get keyboard ID */
67 #define KBD_CMD_SET_RATE	0xF3	/* Set typematic rate */
68 #define KBD_CMD_ENABLE		0xF4	/* Enable scanning */
69 #define KBD_CMD_RESET_DISABLE	0xF5	/* reset and disable scanning */
70 #define KBD_CMD_RESET_ENABLE   	0xF6    /* reset and enable scanning */
71 #define KBD_CMD_RESET		0xFF	/* Reset */
72 
73 /* Keyboard Replies */
74 #define KBD_REPLY_POR		0xAA	/* Power on reset */
75 #define KBD_REPLY_ACK		0xFA	/* Command ACK */
76 #define KBD_REPLY_RESEND	0xFE	/* Command NACK, send the cmd again */
77 
78 /* Status Register Bits */
79 #define KBD_STAT_OBF 		0x01	/* Keyboard output buffer full */
80 #define KBD_STAT_IBF 		0x02	/* Keyboard input buffer full */
81 #define KBD_STAT_SELFTEST	0x04	/* Self test successful */
82 #define KBD_STAT_CMD		0x08	/* Last write was a command write (0=data) */
83 #define KBD_STAT_UNLOCKED	0x10	/* Zero if keyboard locked */
84 #define KBD_STAT_MOUSE_OBF	0x20	/* Mouse output buffer full */
85 #define KBD_STAT_GTO 		0x40	/* General receive/xmit timeout */
86 #define KBD_STAT_PERR 		0x80	/* Parity error */
87 
88 /* Controller Mode Register Bits */
89 #define KBD_MODE_KBD_INT	0x01	/* Keyboard data generate IRQ1 */
90 #define KBD_MODE_MOUSE_INT	0x02	/* Mouse data generate IRQ12 */
91 #define KBD_MODE_SYS 		0x04	/* The system flag (?) */
92 #define KBD_MODE_NO_KEYLOCK	0x08	/* The keylock doesn't affect the keyboard if set */
93 #define KBD_MODE_DISABLE_KBD	0x10	/* Disable keyboard interface */
94 #define KBD_MODE_DISABLE_MOUSE	0x20	/* Disable mouse interface */
95 #define KBD_MODE_KCC 		0x40	/* Scan code conversion to PC format */
96 #define KBD_MODE_RFU		0x80
97 
98 /* Output Port Bits */
99 #define KBD_OUT_RESET           0x01    /* 1=normal mode, 0=reset */
100 #define KBD_OUT_A20             0x02    /* x86 only */
101 #define KBD_OUT_OBF             0x10    /* Keyboard output buffer full */
102 #define KBD_OUT_MOUSE_OBF       0x20    /* Mouse output buffer full */
103 
104 /* OSes typically write 0xdd/0xdf to turn the A20 line off and on.
105  * We make the default value of the outport include these four bits,
106  * so that the subsection is rarely necessary.
107  */
108 #define KBD_OUT_ONES            0xcc
109 
110 /* Mouse Commands */
111 #define AUX_SET_SCALE11		0xE6	/* Set 1:1 scaling */
112 #define AUX_SET_SCALE21		0xE7	/* Set 2:1 scaling */
113 #define AUX_SET_RES		0xE8	/* Set resolution */
114 #define AUX_GET_SCALE		0xE9	/* Get scaling factor */
115 #define AUX_SET_STREAM		0xEA	/* Set stream mode */
116 #define AUX_POLL		0xEB	/* Poll */
117 #define AUX_RESET_WRAP		0xEC	/* Reset wrap mode */
118 #define AUX_SET_WRAP		0xEE	/* Set wrap mode */
119 #define AUX_SET_REMOTE		0xF0	/* Set remote mode */
120 #define AUX_GET_TYPE		0xF2	/* Get type */
121 #define AUX_SET_SAMPLE		0xF3	/* Set sample rate */
122 #define AUX_ENABLE_DEV		0xF4	/* Enable aux device */
123 #define AUX_DISABLE_DEV		0xF5	/* Disable aux device */
124 #define AUX_SET_DEFAULT		0xF6
125 #define AUX_RESET		0xFF	/* Reset aux device */
126 #define AUX_ACK			0xFA	/* Command byte ACK. */
127 
128 #define MOUSE_STATUS_REMOTE     0x40
129 #define MOUSE_STATUS_ENABLED    0x20
130 #define MOUSE_STATUS_SCALE21    0x10
131 
132 #define KBD_PENDING_KBD         1
133 #define KBD_PENDING_AUX         2
134 
135 typedef struct KBDState {
136     uint8_t write_cmd; /* if non zero, write data to port 60 is expected */
137     uint8_t status;
138     uint8_t mode;
139     uint8_t outport;
140     bool outport_present;
141     /* Bitmask of devices with data available.  */
142     uint8_t pending;
143     void *kbd;
144     void *mouse;
145 
146     qemu_irq irq_kbd;
147     qemu_irq irq_mouse;
148     qemu_irq *a20_out;
149     hwaddr mask;
150 } KBDState;
151 
152 /* update irq and KBD_STAT_[MOUSE_]OBF */
153 /* XXX: not generating the irqs if KBD_MODE_DISABLE_KBD is set may be
154    incorrect, but it avoids having to simulate exact delays */
155 static void kbd_update_irq(KBDState *s)
156 {
157     int irq_kbd_level, irq_mouse_level;
158 
159     irq_kbd_level = 0;
160     irq_mouse_level = 0;
161     s->status &= ~(KBD_STAT_OBF | KBD_STAT_MOUSE_OBF);
162     s->outport &= ~(KBD_OUT_OBF | KBD_OUT_MOUSE_OBF);
163     if (s->pending) {
164         s->status |= KBD_STAT_OBF;
165         s->outport |= KBD_OUT_OBF;
166         /* kbd data takes priority over aux data.  */
167         if (s->pending == KBD_PENDING_AUX) {
168             s->status |= KBD_STAT_MOUSE_OBF;
169             s->outport |= KBD_OUT_MOUSE_OBF;
170             if (s->mode & KBD_MODE_MOUSE_INT)
171                 irq_mouse_level = 1;
172         } else {
173             if ((s->mode & KBD_MODE_KBD_INT) &&
174                 !(s->mode & KBD_MODE_DISABLE_KBD))
175                 irq_kbd_level = 1;
176         }
177     }
178     qemu_set_irq(s->irq_kbd, irq_kbd_level);
179     qemu_set_irq(s->irq_mouse, irq_mouse_level);
180 }
181 
182 static void kbd_update_kbd_irq(void *opaque, int level)
183 {
184     KBDState *s = (KBDState *)opaque;
185 
186     if (level)
187         s->pending |= KBD_PENDING_KBD;
188     else
189         s->pending &= ~KBD_PENDING_KBD;
190     kbd_update_irq(s);
191 }
192 
193 static void kbd_update_aux_irq(void *opaque, int level)
194 {
195     KBDState *s = (KBDState *)opaque;
196 
197     if (level)
198         s->pending |= KBD_PENDING_AUX;
199     else
200         s->pending &= ~KBD_PENDING_AUX;
201     kbd_update_irq(s);
202 }
203 
204 static uint64_t kbd_read_status(void *opaque, hwaddr addr,
205                                 unsigned size)
206 {
207     KBDState *s = opaque;
208     int val;
209     val = s->status;
210     DPRINTF("kbd: read status=0x%02x\n", val);
211     return val;
212 }
213 
214 static void kbd_queue(KBDState *s, int b, int aux)
215 {
216     if (aux)
217         ps2_queue(s->mouse, b);
218     else
219         ps2_queue(s->kbd, b);
220 }
221 
222 static void outport_write(KBDState *s, uint32_t val)
223 {
224     DPRINTF("kbd: write outport=0x%02x\n", val);
225     s->outport = val;
226     if (s->a20_out) {
227         qemu_set_irq(*s->a20_out, (val >> 1) & 1);
228     }
229     if (!(val & 1)) {
230         qemu_system_reset_request();
231     }
232 }
233 
234 static void kbd_write_command(void *opaque, hwaddr addr,
235                               uint64_t val, unsigned size)
236 {
237     KBDState *s = opaque;
238 
239     DPRINTF("kbd: write cmd=0x%02" PRIx64 "\n", val);
240 
241     /* Bits 3-0 of the output port P2 of the keyboard controller may be pulsed
242      * low for approximately 6 micro seconds. Bits 3-0 of the KBD_CCMD_PULSE
243      * command specify the output port bits to be pulsed.
244      * 0: Bit should be pulsed. 1: Bit should not be modified.
245      * The only useful version of this command is pulsing bit 0,
246      * which does a CPU reset.
247      */
248     if((val & KBD_CCMD_PULSE_BITS_3_0) == KBD_CCMD_PULSE_BITS_3_0) {
249         if(!(val & 1))
250             val = KBD_CCMD_RESET;
251         else
252             val = KBD_CCMD_NO_OP;
253     }
254 
255     switch(val) {
256     case KBD_CCMD_READ_MODE:
257         kbd_queue(s, s->mode, 0);
258         break;
259     case KBD_CCMD_WRITE_MODE:
260     case KBD_CCMD_WRITE_OBUF:
261     case KBD_CCMD_WRITE_AUX_OBUF:
262     case KBD_CCMD_WRITE_MOUSE:
263     case KBD_CCMD_WRITE_OUTPORT:
264         s->write_cmd = val;
265         break;
266     case KBD_CCMD_MOUSE_DISABLE:
267         s->mode |= KBD_MODE_DISABLE_MOUSE;
268         break;
269     case KBD_CCMD_MOUSE_ENABLE:
270         s->mode &= ~KBD_MODE_DISABLE_MOUSE;
271         break;
272     case KBD_CCMD_TEST_MOUSE:
273         kbd_queue(s, 0x00, 0);
274         break;
275     case KBD_CCMD_SELF_TEST:
276         s->status |= KBD_STAT_SELFTEST;
277         kbd_queue(s, 0x55, 0);
278         break;
279     case KBD_CCMD_KBD_TEST:
280         kbd_queue(s, 0x00, 0);
281         break;
282     case KBD_CCMD_KBD_DISABLE:
283         s->mode |= KBD_MODE_DISABLE_KBD;
284         kbd_update_irq(s);
285         break;
286     case KBD_CCMD_KBD_ENABLE:
287         s->mode &= ~KBD_MODE_DISABLE_KBD;
288         kbd_update_irq(s);
289         break;
290     case KBD_CCMD_READ_INPORT:
291         kbd_queue(s, 0x80, 0);
292         break;
293     case KBD_CCMD_READ_OUTPORT:
294         kbd_queue(s, s->outport, 0);
295         break;
296     case KBD_CCMD_ENABLE_A20:
297         if (s->a20_out) {
298             qemu_irq_raise(*s->a20_out);
299         }
300         s->outport |= KBD_OUT_A20;
301         break;
302     case KBD_CCMD_DISABLE_A20:
303         if (s->a20_out) {
304             qemu_irq_lower(*s->a20_out);
305         }
306         s->outport &= ~KBD_OUT_A20;
307         break;
308     case KBD_CCMD_RESET:
309         qemu_system_reset_request();
310         break;
311     case KBD_CCMD_NO_OP:
312         /* ignore that */
313         break;
314     default:
315         fprintf(stderr, "qemu: unsupported keyboard cmd=0x%02x\n", (int)val);
316         break;
317     }
318 }
319 
320 static uint64_t kbd_read_data(void *opaque, hwaddr addr,
321                               unsigned size)
322 {
323     KBDState *s = opaque;
324     uint32_t val;
325 
326     if (s->pending == KBD_PENDING_AUX)
327         val = ps2_read_data(s->mouse);
328     else
329         val = ps2_read_data(s->kbd);
330 
331     DPRINTF("kbd: read data=0x%02x\n", val);
332     return val;
333 }
334 
335 static void kbd_write_data(void *opaque, hwaddr addr,
336                            uint64_t val, unsigned size)
337 {
338     KBDState *s = opaque;
339 
340     DPRINTF("kbd: write data=0x%02" PRIx64 "\n", val);
341 
342     switch(s->write_cmd) {
343     case 0:
344         ps2_write_keyboard(s->kbd, val);
345         break;
346     case KBD_CCMD_WRITE_MODE:
347         s->mode = val;
348         ps2_keyboard_set_translation(s->kbd, (s->mode & KBD_MODE_KCC) != 0);
349         /* ??? */
350         kbd_update_irq(s);
351         break;
352     case KBD_CCMD_WRITE_OBUF:
353         kbd_queue(s, val, 0);
354         break;
355     case KBD_CCMD_WRITE_AUX_OBUF:
356         kbd_queue(s, val, 1);
357         break;
358     case KBD_CCMD_WRITE_OUTPORT:
359         outport_write(s, val);
360         break;
361     case KBD_CCMD_WRITE_MOUSE:
362         ps2_write_mouse(s->mouse, val);
363         break;
364     default:
365         break;
366     }
367     s->write_cmd = 0;
368 }
369 
370 static void kbd_reset(void *opaque)
371 {
372     KBDState *s = opaque;
373 
374     s->mode = KBD_MODE_KBD_INT | KBD_MODE_MOUSE_INT;
375     s->status = KBD_STAT_CMD | KBD_STAT_UNLOCKED;
376     s->outport = KBD_OUT_RESET | KBD_OUT_A20 | KBD_OUT_ONES;
377     s->outport_present = false;
378 }
379 
380 static uint8_t kbd_outport_default(KBDState *s)
381 {
382     return KBD_OUT_RESET | KBD_OUT_A20 | KBD_OUT_ONES
383            | (s->status & KBD_STAT_OBF ? KBD_OUT_OBF : 0)
384            | (s->status & KBD_STAT_MOUSE_OBF ? KBD_OUT_MOUSE_OBF : 0);
385 }
386 
387 static int kbd_outport_post_load(void *opaque, int version_id)
388 {
389     KBDState *s = opaque;
390     s->outport_present = true;
391     return 0;
392 }
393 
394 static const VMStateDescription vmstate_kbd_outport = {
395     .name = "pckbd_outport",
396     .version_id = 1,
397     .minimum_version_id = 1,
398     .post_load = kbd_outport_post_load,
399     .fields = (VMStateField[]) {
400         VMSTATE_UINT8(outport, KBDState),
401         VMSTATE_END_OF_LIST()
402     }
403 };
404 
405 static bool kbd_outport_needed(void *opaque)
406 {
407     KBDState *s = opaque;
408     return s->outport != kbd_outport_default(s);
409 }
410 
411 static int kbd_post_load(void *opaque, int version_id)
412 {
413     KBDState *s = opaque;
414     if (!s->outport_present) {
415         s->outport = kbd_outport_default(s);
416     }
417     s->outport_present = false;
418     return 0;
419 }
420 
421 static const VMStateDescription vmstate_kbd = {
422     .name = "pckbd",
423     .version_id = 3,
424     .minimum_version_id = 3,
425     .post_load = kbd_post_load,
426     .fields = (VMStateField[]) {
427         VMSTATE_UINT8(write_cmd, KBDState),
428         VMSTATE_UINT8(status, KBDState),
429         VMSTATE_UINT8(mode, KBDState),
430         VMSTATE_UINT8(pending, KBDState),
431         VMSTATE_END_OF_LIST()
432     },
433     .subsections = (VMStateSubsection[]) {
434         {
435             .vmsd = &vmstate_kbd_outport,
436             .needed = kbd_outport_needed,
437         },
438         VMSTATE_END_OF_LIST()
439     }
440 };
441 
442 /* Memory mapped interface */
443 static uint32_t kbd_mm_readb (void *opaque, hwaddr addr)
444 {
445     KBDState *s = opaque;
446 
447     if (addr & s->mask)
448         return kbd_read_status(s, 0, 1) & 0xff;
449     else
450         return kbd_read_data(s, 0, 1) & 0xff;
451 }
452 
453 static void kbd_mm_writeb (void *opaque, hwaddr addr, uint32_t value)
454 {
455     KBDState *s = opaque;
456 
457     if (addr & s->mask)
458         kbd_write_command(s, 0, value & 0xff, 1);
459     else
460         kbd_write_data(s, 0, value & 0xff, 1);
461 }
462 
463 static const MemoryRegionOps i8042_mmio_ops = {
464     .endianness = DEVICE_NATIVE_ENDIAN,
465     .old_mmio = {
466         .read = { kbd_mm_readb, kbd_mm_readb, kbd_mm_readb },
467         .write = { kbd_mm_writeb, kbd_mm_writeb, kbd_mm_writeb },
468     },
469 };
470 
471 void i8042_mm_init(qemu_irq kbd_irq, qemu_irq mouse_irq,
472                    MemoryRegion *region, ram_addr_t size,
473                    hwaddr mask)
474 {
475     KBDState *s = g_malloc0(sizeof(KBDState));
476 
477     s->irq_kbd = kbd_irq;
478     s->irq_mouse = mouse_irq;
479     s->mask = mask;
480 
481     vmstate_register(NULL, 0, &vmstate_kbd, s);
482 
483     memory_region_init_io(region, NULL, &i8042_mmio_ops, s, "i8042", size);
484 
485     s->kbd = ps2_kbd_init(kbd_update_kbd_irq, s);
486     s->mouse = ps2_mouse_init(kbd_update_aux_irq, s);
487     qemu_register_reset(kbd_reset, s);
488 }
489 
490 #define TYPE_I8042 "i8042"
491 #define I8042(obj) OBJECT_CHECK(ISAKBDState, (obj), TYPE_I8042)
492 
493 typedef struct ISAKBDState {
494     ISADevice parent_obj;
495 
496     KBDState kbd;
497     MemoryRegion io[2];
498 } ISAKBDState;
499 
500 void i8042_isa_mouse_fake_event(void *opaque)
501 {
502     ISADevice *dev = opaque;
503     ISAKBDState *isa = I8042(dev);
504     KBDState *s = &isa->kbd;
505 
506     ps2_mouse_fake_event(s->mouse);
507 }
508 
509 void i8042_setup_a20_line(ISADevice *dev, qemu_irq *a20_out)
510 {
511     ISAKBDState *isa = I8042(dev);
512     KBDState *s = &isa->kbd;
513 
514     s->a20_out = a20_out;
515 }
516 
517 static const VMStateDescription vmstate_kbd_isa = {
518     .name = "pckbd",
519     .version_id = 3,
520     .minimum_version_id = 3,
521     .fields = (VMStateField[]) {
522         VMSTATE_STRUCT(kbd, ISAKBDState, 0, vmstate_kbd, KBDState),
523         VMSTATE_END_OF_LIST()
524     }
525 };
526 
527 static const MemoryRegionOps i8042_data_ops = {
528     .read = kbd_read_data,
529     .write = kbd_write_data,
530     .impl = {
531         .min_access_size = 1,
532         .max_access_size = 1,
533     },
534     .endianness = DEVICE_LITTLE_ENDIAN,
535 };
536 
537 static const MemoryRegionOps i8042_cmd_ops = {
538     .read = kbd_read_status,
539     .write = kbd_write_command,
540     .impl = {
541         .min_access_size = 1,
542         .max_access_size = 1,
543     },
544     .endianness = DEVICE_LITTLE_ENDIAN,
545 };
546 
547 static void i8042_initfn(Object *obj)
548 {
549     ISAKBDState *isa_s = I8042(obj);
550     KBDState *s = &isa_s->kbd;
551 
552     memory_region_init_io(isa_s->io + 0, obj, &i8042_data_ops, s,
553                           "i8042-data", 1);
554     memory_region_init_io(isa_s->io + 1, obj, &i8042_cmd_ops, s,
555                           "i8042-cmd", 1);
556 }
557 
558 static void i8042_realizefn(DeviceState *dev, Error **errp)
559 {
560     ISADevice *isadev = ISA_DEVICE(dev);
561     ISAKBDState *isa_s = I8042(dev);
562     KBDState *s = &isa_s->kbd;
563 
564     isa_init_irq(isadev, &s->irq_kbd, 1);
565     isa_init_irq(isadev, &s->irq_mouse, 12);
566 
567     isa_register_ioport(isadev, isa_s->io + 0, 0x60);
568     isa_register_ioport(isadev, isa_s->io + 1, 0x64);
569 
570     s->kbd = ps2_kbd_init(kbd_update_kbd_irq, s);
571     s->mouse = ps2_mouse_init(kbd_update_aux_irq, s);
572     qemu_register_reset(kbd_reset, s);
573 }
574 
575 static void i8042_class_initfn(ObjectClass *klass, void *data)
576 {
577     DeviceClass *dc = DEVICE_CLASS(klass);
578 
579     dc->realize = i8042_realizefn;
580     dc->vmsd = &vmstate_kbd_isa;
581 }
582 
583 static const TypeInfo i8042_info = {
584     .name          = TYPE_I8042,
585     .parent        = TYPE_ISA_DEVICE,
586     .instance_size = sizeof(ISAKBDState),
587     .instance_init = i8042_initfn,
588     .class_init    = i8042_class_initfn,
589 };
590 
591 static void i8042_register_types(void)
592 {
593     type_register_static(&i8042_info);
594 }
595 
596 type_init(i8042_register_types)
597