Embedded Linux, který používáte, by měl mít ovladač GPIO, který má #define výpisy pro piny GPIO. Poté můžete získat IRQ číslo konkrétního GPIO pomocí něčeho jako:
irq_num = gpio_to_irq(S3C64XX_GPP(8));
Podpora Linux GPIO lib pro tento konkrétní čip je k dispozici v následujícím souboru:
linux/arch/arm/mach-s3c6400/include/mach/gpio.h
Zde najdete všech #define výpisy pro různé GPIO.
Viz část o GPIO konvencích v jejich dokumentaci:
http://www.kernel.org/doc/Documentation/gpio/gpio.txt