+
+static void pl050_init_keyboard(SysBusDevice *dev)
+{
+ pl050_init(dev, 0);
+}
+
+static void pl050_init_mouse(SysBusDevice *dev)
+{
+ pl050_init(dev, 1);
+}
+
+static void pl050_register_devices(void)
+{
+ sysbus_register_dev("pl050_keyboard", sizeof(pl050_state),
+ pl050_init_keyboard);
+ sysbus_register_dev("pl050_mouse", sizeof(pl050_state),
+ pl050_init_mouse);
+}
+
+device_init(pl050_register_devices)