pub fn send_startup_ipi(dest: u8, startup_page: u8) -> KernelResult<()>Expand description
Send Startup IPI (SIPI) to a target CPU for AP startup sequence.
startup_page is the physical page number where AP trampoline code resides
(e.g., 0x08 for physical address 0x8000).