1 use crate::{ 2 arch::interrupt::ipi::send_ipi, 3 exception::ipi::{IpiKind, IpiTarget}, 4 syscall::SystemError, 5 }; 6 7 pub mod c_adapter; 8 pub mod core; 9 10 pub fn kick_cpu(cpu_id: u32) -> Result<(), SystemError> { 11 // todo: 增加对cpu_id的有效性检查 12 13 send_ipi(IpiKind::KickCpu, IpiTarget::Specified(cpu_id as usize)); 14 return Ok(()); 15 } 16