/* bank_reg - convert bank number to pointer to the control register. @bank: The IO bank number.  */
static void __iomem* bank_reg(unsigned int bank)
/* bank_reg - convert bank number to pointer to the control register. @bank: The IO bank number.  */
static void __iomem* bank_reg(unsigned int bank)
{
	return S3C2410_BANKCON0 + (bank << 2);
}