pxa2x0_cpu_resume
(uint32_t)&pxa2x0_cpu_resume - 0xc0200000 + 0xa0200000);
void pxa2x0_cpu_resume(void);