1aa0367d6SLoGin use crate::{ 21496ba7bSLoGin arch::interrupt::ipi::send_ipi, 3aa0367d6SLoGin exception::ipi::{IpiKind, IpiTarget}, 4aa0367d6SLoGin syscall::SystemError, 5aa0367d6SLoGin }; 6aa0367d6SLoGin 740fe15e0SLoGin pub mod c_adapter; 866f67c6aSlogin pub mod core; 9*70a4e555SLoGin pub mod cpu; 10aa0367d6SLoGin 111496ba7bSLoGin pub fn kick_cpu(cpu_id: u32) -> Result<(), SystemError> { 12aa0367d6SLoGin // todo: 增加对cpu_id的有效性检查 13aa0367d6SLoGin 141496ba7bSLoGin send_ipi(IpiKind::KickCpu, IpiTarget::Specified(cpu_id as usize)); 15aa0367d6SLoGin return Ok(()); 16aa0367d6SLoGin } 17