1 /// @brief 获取当前的cpu id 2 #[inline] 3 pub fn smp_get_processor_id() -> u32 { 4 return crate::arch::cpu::current_cpu_id(); 5 } 6 7 #[inline] 8 pub fn smp_send_reschedule(_cpu: u32) { 9 // todo: 10 } 11