Searched refs:smp_get_processor_id (Results 1 – 2 of 2) sorted by relevance
3 pub fn smp_get_processor_id() -> u32 { in smp_get_processor_id() function
9 smp::core::{smp_get_processor_id, smp_send_reschedule},84 if cpu != smp_get_processor_id() && process_is_executing(pcb) { in process_kick()