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