Symbol: s3c24xx_dev_to_port