Hardware Interrupt handling using GPIO pins

Hi,

I am new to using jetson TK1 board. I would like to know how can we handle hardware interrupt using GPIO pins using this board ?
How to ensure ISR is executed upon this interrupt ?

A code snippet will be very helpful. Thanks in advance.

Hello,
there are a lot of similar samples in Linux kernel.
for example, you can check the card-detect interrupt in drivers/mmc/host/sdhci-tegra.c

br
ChenJian