/*
 * DISPLAY.h
 *
 *  Created on: Dec 17, 2010
 *      Author: mlong
 */

#ifndef SYSTEM_H_
#define SYSTEM_H_

typedef void (*irq_func_t)(void);

#define IRQ_GPIO_0 0x70
#define IRQ_GPIO_1 0x71
#define IRQ_GPIO_2 0x72
#define IRQ_GPIO_3 0x73


void SYSTEM_register_irq(irq_func_t, unsigned int irq);

#endif /* SYSTEM_H_ */