Function sel4_common::utils::cpu_id

source · 
pub fn cpu_id() -> usize