S3C64XX_NORMAL_CFG
SAVE_ITEM(S3C64XX_NORMAL_CFG),
val = __raw_readl(S3C64XX_NORMAL_CFG);
__raw_writel(val, S3C64XX_NORMAL_CFG);
val = __raw_readl(S3C64XX_NORMAL_CFG);
__raw_writel(val, S3C64XX_NORMAL_CFG);