Searched refs:send_resched_ipi (Results 1 – 1 of 1) sorted by relevance
656 send_resched_ipi(ProcessorId::new(cpu as u32)); in resched_current()999 pub fn send_resched_ipi(cpu: ProcessorId) { in send_resched_ipi() function