Das von Ihnen verwendete Embedded Linux sollte über einen GPIO-Treiber mit #define verfügen Anweisungen für die GPIO-Pins. Sie können dann die IRQ-Nummer des spezifischen GPIO erhalten, indem Sie Folgendes verwenden:
irq_num = gpio_to_irq(S3C64XX_GPP(8));
Die Linux-GPIO-Bibliotheksunterstützung für diesen bestimmten Chip ist in der folgenden Datei verfügbar:
linux/arch/arm/mach-s3c6400/include/mach/gpio.h
Dort finden Sie alle #define Anweisungen für die verschiedenen GPIO.
Siehe den Abschnitt über GPIO-Konventionen in ihrer Dokumentation:
http://www.kernel.org/doc/Documentation/gpio/gpio.txt