#ifndef __JERRY_H__
#define __JERRY_H__
-#include "types.h"
+//#include "types.h"
+#include "memory.h"
void JERRYInit(void);
void JERRYReset(void);
bool JERRYIRQEnabled(int irq);
void JERRYSetPendingIRQ(int irq);
+// This should stay inside this file, but it's here for now...
+// Need to set up an interface function so that this can go back
+void JERRYI2SCallback(void);
+
+// External variables
+
+extern uint32 JERRYI2SInterruptDivide;
+extern int32 JERRYI2SInterruptTimer;
+
#endif