DragonOS/kernel/src/arch/loongarch64/interrupt/ipi.rs

use crate::exception::ipi::{IpiKind, IpiTarget};

#[inline(always)]
pub fn send_ipi(kind: IpiKind, target: IpiTarget) {
    todo!("la64: send_ipi")
}