Searched refs:model_info (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dhardware.c79 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info(); local
91 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID) {
93 if (model_info->model == valid_models[i]) {
105 if (model_info->model == NEHALEM_1_MODEL_ID ||
106 model_info->model == NEHALEM_2_MODEL_ID ||
107 model_info->model == NEHALEM_3_MODEL_ID) {
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dhardware.c89 x86_cpu_identity_t *model_info; local
105 model_info = x86_cpuid_get_model_info();
115 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID
116 && model_info->model == valid_models[i]) {
132 model_info->family, model_info->model);
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h315 ia32_cpuid_model_info_t model_info = { .raw = 0 }; local
316 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
319 assert(FAMILY(model_info) == IA32_CPUID_FAMILY_P6);
321 uint8_t model = MODEL(model_info);
H A Dsel4bench.h147 ia32_cpuid_model_info_t model_info; local
149 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
150 assert(FAMILY(model_info) == IA32_CPUID_FAMILY_P6); //we only support P6 processors (P3, PM, ...)
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c254 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info(); local
272 switch (model_info->model) {

Completed in 34 milliseconds