cpu_do_resume
extern void cpu_do_resume(void *);
*ptr++ = virt_to_phys(cpu_do_resume);
extern u64 cpu_do_resume(phys_addr_t ptr, u64 idmap_ttbr);