Searched refs:model_info (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | hardware.c | 79 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 D | hardware.c | 89 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 D | private.h | 315 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 D | sel4bench.h | 147 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 D | boot_sys.c | 254 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info(); local 272 switch (model_info->model) {
|
Completed in 34 milliseconds