#include <stdint.h>
#include <board.h>
#include <gpio.h>
#include <irq.h>
#include <systick.h>

#include <lpc13xx/gpio.h>

volatile uint32_t * gpio_ie = (uint32_t *) GPIO1_IE;
volatile uint32_t * gpio_ic = (uint32_t *) GPIO1_IC;
volatile uint8_t count = 0;

void gpio_handler(void)
{
        /* Acknowledge the interrupt, by clearing it. */
        *gpio_ic = 1 << 11;
        count++;
}

int main()
{
        int prev = 0;

        board_init();
        board_stdout(LCD_STDOUT);

        lcd_init();
        gpio_init();

        gpio_enable_pin(GPIO1_11);
        gpio_direction_input(GPIO1_11);

        /*
         * Enable interrupts for pin 11 in the GPIO controller.
         *
         * By default, interrupts are generated when there is 1 to 0
         * transition on the GPIO pin.
         */
        *gpio_ie = 1 << 11;

        irq_setcb(IRQ_PIO1, gpio_handler);

        while (1) {
                if (i != prev) {
                        printf("Interrupt %d\n", i);
                        prev = i;
                }
        }
}