virt_to_idmap
_soft_restart(virt_to_idmap(cpu_resume), false);
_soft_restart(virt_to_idmap(cpu_resume), false);
reboot_entry_phys = virt_to_idmap(reboot_entry);
virt_to_idmap(&secondary_startup));
phys_reset = (phys_reset_t)virt_to_idmap(cpu_reset);
addr = virt_to_idmap(text_start);
end = virt_to_idmap(text_end);