+void ClockIrqHandler (void) __interrupt 1 __naked;
+#endif
+
+#if defined(SDCC_ds400)
+/* functions for dealing with the ds400 ROM firmware. */
+
+/* A wrapper which calls rom_init allocating all available RAM in CE0
+ to the heap, sets the serial port to SERIAL_0_BAUD, sets up the
+ millisecond timer, and diddles the clock multiplier. */
+
+/* Values for the romInit "speed" parameter. */
+#define SPEED_1X 0 /* no clock multiplier, normal speed. */
+#define SPEED_2X 1 /* 2x clock multiplier. */
+#define SPEED_4X 2 /* 4x clock, DOESN'T WORK ON TINIm400! */
+
+unsigned char romInit(unsigned char noisy,
+ char speed);
+
+/* Install an interrupt handler. */
+void installInterrupt(void (*isrPtr)(void), unsigned char offset);
+#endif
+