acpi_setup_mp_wakeup_mailbox
void acpi_setup_mp_wakeup_mailbox(u64 addr);
acpi_setup_mp_wakeup_mailbox(res.start);