Searched refs:preferred_cpu_type (Results 1 – 1 of 1) sorted by relevance
378 cpu_type_t preferred_cpu_type; in host_info() local380 if (!PE_get_default("kern.preferred_cpu_type", &preferred_cpu_type, sizeof(cpu_type_t))) { in host_info()381 preferred_cpu_type = PREFERRED_USER_CPU_TYPE; in host_info()386 user_arch_info->cpu_type = preferred_cpu_type; in host_info()