Searched refs:cpuid_model (Results 1 – 5 of 5) sorted by relevance
90 uint32_t model = cpuid_info()->cpuid_model; in mca_get_availability()258 infop->cpuid_model, in mca_report_cpu_info()
659 info_p->cpuid_model = bitfield32(reg[eax], 7, 4); in cpuid_set_generic_info()675 info_p->cpuid_model += (info_p->cpuid_extmodel << 4); in cpuid_set_generic_info()697 DBG(" model : %d\n", info_p->cpuid_model); in cpuid_set_generic_info()822 if (info_p->cpuid_model >= CPUID_MODEL_IVYBRIDGE) { in cpuid_set_generic_info()861 switch (info_p->cpuid_model) { in cpuid_set_cpufamily()
196 infop->cpuid_model == CPUID_MODEL_SKYLAKE_W && in tsc_init()
434 uint8_t cpuid_model; member
212 if (cpu_info->cpuid_model != 26) {227 if (cpu_info->cpuid_model != 26) {242 if (cpu_info->cpuid_model != 26) {408 (void *)offsetof(i386_cpu_info_t, cpuid_model), sizeof(uint8_t),