Embedded Linux yang Anda gunakan harus memiliki driver GPIO yang memiliki #define pernyataan untuk pin GPIO. Anda kemudian bisa mendapatkan nomor IRQ dari GPIO tertentu menggunakan sesuatu seperti:
irq_num = gpio_to_irq(S3C64XX_GPP(8));
Dukungan Linux GPIO lib untuk chip tersebut tersedia dalam file berikut:
linux/arch/arm/mach-s3c6400/include/mach/gpio.h
Di sana Anda akan menemukan semua #define pernyataan untuk berbagai GPIO.
Lihat bagian tentang Konvensi GPIO dalam dokumentasinya:
http://www.kernel.org/doc/Documentation/gpio/gpio.txt