S3C64XX_PWR_CFG
tmp = __raw_readl(S3C64XX_PWR_CFG);
__raw_writel(tmp, S3C64XX_PWR_CFG);
tmp = __raw_readl(S3C64XX_PWR_CFG);
__raw_writel(tmp, S3C64XX_PWR_CFG);
samsung_sync_wakemask(S3C64XX_PWR_CFG,