Home
last modified time | relevance | path

Searched defs:send_ipi (Results 1 – 2 of 2) sorted by relevance

/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/interrupt/
H A Dipi.rs124 pub fn send_ipi(kind: IpiKind, target: IpiTarget) { in send_ipi() function