#ifndef CORE_IRQ_H__
#define CORE_IRQ_H__

#include <stdint.h>

/*
 * Include file for interrupt service routines.
 */

typedef enum {
#define IRQ_RESERVED(n)
#define IRQ(name_, uname, num) \
  IRQ_##uname = num,
#include "core/isrs.inc"
#undef IRQ
#undef IRQ_RESERVED
} interrupt_t;

/*
 * The interrupt service routines. These link in the function `main` as the
 * main function.
 */
extern const void* vectors[];

/*
 * Defines an error state. This loops forever and defines a distinct flashing
 * pattern to let the user know an unhandled ISR happened.
 */
void unhandled_isr(uint8_t val);

void isr_simple_pin_on();

#endif /* CORE_IRQ_H_ */