Skip to main content

cpu_id_from_index

ostd::cpu

Function cpu_id_from_index 

Source 
pub closed spec fn cpu_id_from_index(i: int) -> CpuId
Expand description

The CpuId at numeric index i.