#include <stdint.h>
+#ifdef __cplusplus
+extern "C" {
+#endif
+
typedef uint64_t avr_cycle_count_t;
typedef uint16_t avr_io_addr_t;
// this might activate gdb server
void avr_sadly_crashed(avr_t *avr, uint8_t signal);
+#ifdef __cplusplus
+};
+#endif
+
#include "sim_io.h"
#include "sim_regbit.h"
#include "sim_interrupts.h"