openpcd/firmware/src/os/system_irq.h

23 lines
441 B
C

#ifndef _SYSTEM_IRQ_H
#define _SYSTEM_IRQ_H
#include <sys/types.h>
enum sysirqs {
AT91SAM7_SYSIRQ_PIT = 0,
AT91SAM7_SYSIRQ_DBGU = 1,
AT91SAM7_SYSIRQ_EFC = 2,
AT91SAM7_SYSIRQ_WDT = 3,
AT91SAM7_SYSIRQ_RTT = 4,
AT91SAM7_SYSIRQ_RSTC = 5,
AT91SAM7_SYSIRQ_PMC = 6,
AT91SAM7_SYSIRQ_COUNT
};
typedef void sysirq_hdlr(uint32_t sr);
extern void sysirq_register(enum sysirqs irq, sysirq_hdlr *hdlr);
extern void sysirq_init(void);
#endif