Searched refs:OsPercpuGetByID (Results 1 – 1 of 1) sorted by relevance
66 STATIC INLINE Percpu *OsPercpuGetByID(UINT32 cpuid) in OsPercpuGetByID() function73 return (OsPercpuGetByID(cpuid)->excFlag == CPU_HALT); in OsCpuStatusIsHalt()