Symbol: S3C2800_INT_TXD0