Searched refs:wakeup_cpu (Results 1 – 1 of 1) sorted by relevance
390 void (*wakeup_cpu)(void *, void *, unsigned int); in cpu_setup_trampoline_callback() local398 wakeup_cpu = (void *)rmixl_configuration.rc_psb_info.wakeup; in cpu_setup_trampoline_callback()400 wakeup_cpu = (void *)(intptr_t) in cpu_setup_trampoline_callback()405 (uint64_t)1 << ci->ci_cpuid, wakeup_cpu); in cpu_setup_trampoline_callback()