Searched defs:ps_cpuid (Results 1 – 2 of 2) sorted by relevance
160 processorid_t ps_cpuid[SBD_MAX_CORES_PER_CMP]; member341 int32_t ps_cpuid[SBD_MAX_CORES_PER_CMP]; member
157 processorid_t ps_cpuid[SBD_MAX_CORES_PER_CMP]; member338 int32_t ps_cpuid[SBD_MAX_CORES_PER_CMP]; member