Index: kernel/genarch/include/kbd/z8530.h
===================================================================
--- kernel/genarch/include/kbd/z8530.h	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/genarch/include/kbd/z8530.h	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -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