Hello @Bruno_Eztronic
I hope you are doing well.
I know, in SDK is not an GPIO input interrupt example.
I made a little program to use an interrupt in GPIO5_12 (I connected a push button) and I used the GPIO5_11 to toggle a LED in each interrupt.
Keep in mind the interrupts in SDK has a "number of IRQ (GPIOn_Combined_0_15_IRQn or GPIOn_Combined_16_31_IRQn)" and for an IRQHandler.

There you can see the simple definition of GPIO5_IO12 pin and the GPIO5_Combined_0_15_IRQn and GPIO5_Combined_0_15_IRQHandler, this handler is only a "pointer" to our IRQHandler function:

If you require more information about of IRQs you can see the Reference Manual Table 7-1 ARM Domain Interrupt Summary.

That is the reason why we need GPIO5_Combined_0_15_IRQn.
Any way, I will attach the gpio_led_output.c, there is the example of using interrupt in GPIO5_IO12 and toggle led in GPIO5_IO11.
In serial terminal you will see:

I hope this can helps to you.
Best regards!
Salas.