CPU_STARTUP
CPU_STARTUP(ci, acpi_wakeup_paddr);
if (CPU_STARTUP(ci, mp_trampoline_paddr) != 0) {
if (CPU_STARTUP(ci, (vaddr_t) cpu_hatch) != 0) {