pub fn send_ipi(irq_num: usize, target: IpiTarget)
Sends an inter-processor interrupt (IPI) to the specified target CPU or all CPUs.