Function send_ipi

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

Sends a general inter-processor interrupt (IPI) to the specified CPU.

• irq_num should be valid.

• The remote handler should be valid for safely invoking on the remote CPU.