Home
last modified time | relevance | path

Searched defs:IpiKind (Results 1 – 3 of 3) sorted by relevance

/DragonOS/kernel/src/arch/riscv64/interrupt/
H A Dipi.rs10 pub fn send_ipi(kind: IpiKind, target: IpiTarget) { in send_ipi()
/DragonOS/kernel/src/exception/
H A Dipi.rs22 pub enum IpiKind { enum
/DragonOS/kernel/src/arch/x86_64/interrupt/
H A Dipi.rs124 pub fn send_ipi(kind: IpiKind, target: IpiTarget) { in send_ipi()