openpcd/firmware/src/os/system_irq.h @ master
| 1 |
#ifndef _SYSTEM_IRQ_H
|
|---|---|
| 2 |
#define _SYSTEM_IRQ_H
|
| 3 |
|
| 4 |
#include <sys/types.h>
|
| 5 |
|
| 6 |
enum sysirqs { |
| 7 |
AT91SAM7_SYSIRQ_PIT = 0, |
| 8 |
AT91SAM7_SYSIRQ_DBGU = 1, |
| 9 |
AT91SAM7_SYSIRQ_EFC = 2, |
| 10 |
AT91SAM7_SYSIRQ_WDT = 3, |
| 11 |
AT91SAM7_SYSIRQ_RTT = 4, |
| 12 |
AT91SAM7_SYSIRQ_RSTC = 5, |
| 13 |
AT91SAM7_SYSIRQ_PMC = 6, |
| 14 |
AT91SAM7_SYSIRQ_COUNT
|
| 15 |
};
|
| 16 |
|
| 17 |
typedef void sysirq_hdlr(uint32_t sr); |
| 18 |
|
| 19 |
extern void sysirq_register(enum sysirqs irq, sysirq_hdlr *hdlr); |
| 20 |
extern void sysirq_init(void); |
| 21 |
|
| 22 |
#endif
|
