#ifndef AT91_SYSC_H_
#define AT91_SYSC_H_

#include <stdint.h>

enum syscirqs {
	AT91_SYSIRQ_PIT		= 0,
	AT91_SYSIRQ_DBGU	= 1,
	AT91_SYSIRQ_EFC		= 2,
	AT91_SYSIRQ_WDT		= 3,
	AT91_SYSIRQ_RTT		= 4,
	AT91_SYSIRQ_RSTC	= 5,
	AT91_SYSIRQ_PMC		= 6,
	AT91_SYSIRQ_COUNT
};

typedef void SYSCISR(uint32_t status);

void at91_sysc_init(void);
void sysc_register_isr(enum syscirqs irq, SYSCISR *isr);

#endif /*AT91_SYSC_H_*/