Home
last modified time | relevance | path

Searched refs:send_ipi (Results 1 – 6 of 6) sorted by relevance

/DragonOS/kernel/src/smp/
H A Dmod.rs4 arch::{interrupt::ipi::send_ipi, CurrentSMPArch},
21 send_ipi(IpiKind::KickCpu, IpiTarget::Specified(cpu_id)); in kick_cpu()
/DragonOS/kernel/src/arch/riscv64/interrupt/
H A Dipi.rs10 pub fn send_ipi(kind: IpiKind, target: IpiTarget) { in send_ipi() function
/DragonOS/kernel/src/arch/x86_64/driver/apic/
H A Dlapic_vector.rs16 ipi::{arch_ipi_handler_init, send_ipi, IPI_NUM_FLUSH_TLB, IPI_NUM_KICK_CPU},
106 send_ipi( in retrigger()
/DragonOS/kernel/src/arch/x86_64/interrupt/
H A Dipi.rs124 pub fn send_ipi(kind: IpiKind, target: IpiTarget) { in send_ipi() function
/DragonOS/kernel/src/sched/
H A Dmod.rs24 arch::{interrupt::ipi::send_ipi, CurrentIrqArch},
1000 send_ipi(IpiKind::KickCpu, IpiTarget::Specified(cpu)); in send_resched_ipi()
/DragonOS/kernel/src/mm/
H A Dpage.rs18 arch::{interrupt::ipi::send_ipi, mm::LockedFrameAllocator, MMArch},
1721 send_ipi(IpiKind::FlushTLB, IpiTarget::Other); in drop()