El Linux integrado que está utilizando debe tener un controlador GPIO que tenga #define instrucciones para los pines GPIO. Luego puede obtener el número de IRQ del GPIO específico usando algo como:
irq_num = gpio_to_irq(S3C64XX_GPP(8));
El soporte de Linux GPIO lib para ese chip en particular está disponible en el siguiente archivo:
linux/arch/arm/mach-s3c6400/include/mach/gpio.h
Allí encontrarás todos los #define declaraciones para los diversos GPIO.
Consulte la sección sobre Convenciones GPIO en su documentación:
http://www.kernel.org/doc/Documentation/gpio/gpio.txt