void JERRYInit(void);
void JERRYReset(void);
void JERRYDone(void);
+void JERRYDumpIORegistersToLog(void);
uint8_t JERRYReadByte(uint32_t offset, uint32_t who = UNKNOWN);
uint16_t JERRYReadWord(uint32_t offset, uint32_t who = UNKNOWN);
// External variables
-extern uint32_t JERRYI2SInterruptDivide;
+//extern uint32_t JERRYI2SInterruptDivide;
extern int32_t JERRYI2SInterruptTimer;
#endif