Le Linux embarqué que vous utilisez doit avoir un pilote GPIO qui a #define instructions pour les broches GPIO. Vous pouvez ensuite obtenir le numéro IRQ du GPIO spécifique en utilisant quelque chose comme :
irq_num = gpio_to_irq(S3C64XX_GPP(8));
La prise en charge de Linux GPIO lib pour cette puce particulière est disponible dans le fichier suivant :
linux/arch/arm/mach-s3c6400/include/mach/gpio.h
Vous y trouverez tous les #define déclarations pour les différents GPIO.
Voir la section sur les conventions GPIO dans leur documentation :
http://www.kernel.org/doc/Documentation/gpio/gpio.txt