HelenOS sources

GTA02_SCONS_BASE  179 kernel/arch/arm32/src/mach/gta02/gta02.c 	    s3c24xx_uart_init(GTA02_SCONS_BASE, S3C24XX_INT_UART2);
GTA02_SCONS_BASE  193 kernel/arch/arm32/src/mach/gta02/gta02.c 	    (uintptr_t) GTA02_SCONS_BASE);
HelenOS homepage, sources at GitHub