Searched refs:send_ipi (Results 1 – 3 of 3) sorted by relevance
2 arch::{asm::current::current_pcb, interrupt::ipi::send_ipi},14 send_ipi(IpiKind::KickCpu, IpiTarget::Specified(cpu_id)); in kick_cpu()
87 pub fn send_ipi(kind: IpiKind, target: IpiTarget) { in send_ipi() function
10 arch::{interrupt::ipi::send_ipi, MMArch},912 send_ipi(IpiKind::FlushTLB, IpiTarget::Other); in drop()