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

/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dcpu_identification.c14 /** @file Support routines for identifying the processor family, model, etc
57 uint8_t family, model; member in struct:family_model
65 * require you to take into account an additional extended family and model
70 if (original.family != 0x0F) {
71 ci->display.family = original.family;
73 ci->display.family = ci->display.extended_family + original.family;
78 * if (original->family == 0x06 || original->family
[all...]
H A Dhardware.c114 /* The model ID is only useful when hashed together with the family ID.
121 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID
138 model_info->family, model_info->model);
H A Dbreakpoint.c676 if (modelinfo->family == 15) {
682 if (modelinfo->family == 6) {
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dhardware.c97 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID) {
/seL4-mcs-10.1.1/include/arch/x86/arch/
H A Dmachine.h59 * * https://software.intel.com/en-us/articles/intel-architecture-and-processor-identification-with-cpuid-model-and-family-numbers
215 uint8_t family, model, stepping, extended_family, extended_model; member in struct:_x86_cpu_identity
223 /* Adjusted and normalized family, model and stepping values as recommended
233 /** To be used by code that wants to know the family/model/stepping/brand of

Completed in 42 milliseconds