/** Set pin as GPIO input, without internal pull up */
if(at91_set_gpio_input(AT91_PIN_PC12, 0)) {
printk(KERN_DEBUG"Could not set pin %i for GPIO input.\n", AT91_PIN_PC12);
}

/** Set deglitch for pin */
if(at91_set_deglitch(AT91_PIN_PC12, 1)) {
printk(KERN_DEBUG"Could not set pin %i for GPIO deglitch.\n", AT91_PIN_PC12);
}

/** Set the IRQ0 pin to Periph A */
at91_set_A_periph(AT91_PIN_PC12,0);

/** Request IRQ for pin */
if(request_irq(AT91SAM9260_ID_IRQ0, interrupt_handler_function, IRQF_TRIGGER_FALLING, "my_interrupt", NULL)) {
printk(KERN_DEBUG"Can't register IRQ %d\n", AT91_PIN_PC12);
return -EIO;
}