rmixl_cpu.c | 390 void (*wakeup_cpu)(void *, void *, unsigned int); local in function:cpu_setup_trampoline_callback 398 wakeup_cpu = (void *)rmixl_configuration.rc_psb_info.wakeup; 400 wakeup_cpu = (void *)(intptr_t) 405 (uint64_t)1 << ci->ci_cpuid, wakeup_cpu);
|