L'Embedded Linux che stai usando dovrebbe avere un driver GPIO con #define istruzioni per i pin GPIO. È quindi possibile ottenere il numero IRQ del GPIO specifico utilizzando qualcosa come:
irq_num = gpio_to_irq(S3C64XX_GPP(8));
Il supporto Linux GPIO lib per quel particolare chip è disponibile nel seguente file:
linux/arch/arm/mach-s3c6400/include/mach/gpio.h
Lì troverai tutto il #define istruzioni per i vari GPIO.
Vedi la sezione sulle Convenzioni GPIO nella loro documentazione:
http://www.kernel.org/doc/Documentation/gpio/gpio.txt