Home
last modified time | relevance | path

Searched refs:model_info (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/plat/pc99/machine/
A Dhardware.c83 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info(); in tsc_init() local
95 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID) { in tsc_init()
97 if (model_info->model == valid_models[i]) { in tsc_init()
109 if (model_info->model == NEHALEM_1_MODEL_ID || in tsc_init()
110 model_info->model == NEHALEM_2_MODEL_ID || in tsc_init()
111 model_info->model == NEHALEM_3_MODEL_ID) { in tsc_init()
/seL4-master/src/arch/x86/machine/
A Dhardware.c89 x86_cpu_identity_t *model_info; in disablePrefetchers() local
105 model_info = x86_cpuid_get_model_info(); in disablePrefetchers()
115 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID in disablePrefetchers()
116 && model_info->model == valid_models[i]) { in disablePrefetchers()
132 model_info->family, model_info->model); in disablePrefetchers()
/seL4-master/src/arch/x86/kernel/
A Dboot_sys.c252 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info(); in is_compiled_for_microarchitecture() local
270 switch (model_info->model) { in is_compiled_for_microarchitecture()

Completed in 4 milliseconds