Index: kernel/genarch/include/kbd/z8530.h
===================================================================
--- kernel/genarch/include/kbd/z8530.h	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/genarch/include/kbd/z8530.h	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -38,8 +38,11 @@
 #define KERN_Z8530_H_
 
+#define Z8530_INTRCV_DATA0	0x39	/* hardcoded for use in Simics */
+
 extern void z8530_init(void);
 extern void z8530_poll(void);
 extern void z8530_grab(void);
 extern void z8530_release(void);
+extern void z8530_interrupt(void);
 
 #endif