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