--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/symbian-qemu-0.9.1-12/qemu-symbian-svp/hw/syborg.h	Fri Jul 31 15:01:17 2009 +0100
@@ -0,0 +1,52 @@
+//
+// Copyright (c) 2008 Symbian Ltd. All rights reserved.
+//
+
+#ifndef _SYBORG_H
+#define _SYBORG_H
+
+enum TSyborgInterruptId
+{
+  EIntTimer0 = 0,
+  EIntTimer1 = 1,
+  EIntKeyboard = 2,
+  EIntMouse = 3,
+  EIntFb = 4,
+  EIntSerial0 = 5,
+  EIntSerial1 = 6,
+  EIntSerial2 = 7,
+  EIntSerial3 = 8
+};
+
+void syborg_dummy_init(uint32_t base, char *tag);
+void syborg_fb_init(DisplayState *ds, uint32_t base, qemu_irq irq, int old);
+qemu_irq *syborg_interrupt_init(uint32_t base, qemu_irq parent_irq, int n);
+void syborg_keyboard_init(uint32_t base, qemu_irq irq);
+void syborg_touchscreen_init(uint32_t base, qemu_irq irq);
+void syborg_mouse_init(uint32_t base, qemu_irq irq);
+void syborg_serial_init(uint32_t base, qemu_irq irq, CharDriverState *chr);
+void syborg_timer_init(uint32_t base, qemu_irq irq, uint32_t freq);
+void syborg_rtc_init(uint32_t base);
+/*FIXME: obsolete.  */
+void syborg_oldtimer_init(uint32_t base, qemu_irq irq, uint32_t freq);
+qemu_irq *syborg_old_interrupt_init(uint32_t base, qemu_irq parent_irq);
+void syborg_old_keyboard_init(uint32_t base, qemu_irq irq);
+void syborg_old_mouse_init(uint32_t base, qemu_irq irq);
+void syborg_old_serial_init(uint32_t base, qemu_irq irq, CharDriverState *chr);
+void syborg_old_timer_init(uint32_t base, qemu_irq irq, uint32_t freq);
+
+#define SYBORG_ID_PLATFORM    0xc51d1000
+#define SYBORG_ID_INT         0xc51d0000
+#define SYBORG_ID_SERIAL      0xc51d0001
+#define SYBORG_ID_KEYBOARD    0xc51d0002
+#define SYBORG_ID_TIMER       0xc51d0003
+#define SYBORG_ID_RTC         0xc51d0004
+#define SYBORG_ID_MOUSE       0xc51d0005
+#define SYBORG_ID_TOUCHSCREEN 0xc51d0006
+#define SYBORG_ID_FRAMEBUFFER 0xc51d0007
+#define SYBORG_ID_HOSTFS      0xc51d0008
+#define SYBORG_ID_SNAPSHOT    0xc51d0009
+#define SYBORG_ID_VIRTIO      0xc51d000a
+#define SYBORG_ID_NAND        0xc51d000b
+
+#endif