IRQ_NUMBER for GPIO Interrupts Xenomai Machinekit

Hi guys, I am trying to find the IRQ_NUMBER associated to a GPIO.

Beaglebone Black image : xenomai machinekit image, bone-debian-7.9-machinekit-armhf-2015-11-08-4gb.img ( http://elinux.org/Beagleboard:BeagleBoneBlack_Debian#2015-11-03 )

C code: https://xenomai.org/documentation/trunk/html/api/user_irq_8c-example.html

Could you help me ?

Thanks a lot

Matt