Searched refs:rs_kick_cpu (Results 1 – 3 of 3) sorted by relevance
18 extern int64_t rs_kick_cpu(uint32_t cpu_id);
4 pub extern "C" fn rs_kick_cpu(cpu_id: usize) -> usize { in rs_kick_cpu() function
421 rs_kick_cpu(pcb->cpu_id); in process_wakeup_immediately()