s3c_cpu_resume
__raw_writel(__pa_symbol(s3c_cpu_resume), S3C64XX_INFORM0);
extern void s3c_cpu_resume(void);