ostd::arch::irq

Function send_ipi

Source 
pub(crate) unsafe fn send_ipi(
    hw_cpu_id: HwCpuId,
    irq_num: u8,
    guard: &dyn PinCurrentCpu,
)
Expand description

Sends a general inter-processor interrupt (IPI) to the specified CPU. The caller must ensure that the interrupt number is valid and that

  • irq_num should be valid.

  • The corresponding handler is configured correctly on the remote CPU and invoking the interrupt handler must also be safe.