Searched refs:FAMILY (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h112 assert(FAMILY(cpuid_model_info) == IA32_CPUID_FAMILY_P6);
113 if (!(FAMILY(cpuid_model_info) == IA32_CPUID_FAMILY_P6)) {
150 assert(FAMILY(model_info) == IA32_CPUID_FAMILY_P6); //we only support P6 processors (P3, PM, ...)
H A Dprivate.h47 #define FAMILY(x) ( (x).family == 0xF ? ( (x).ex_family + (x).family) : (x).family ) macro
319 assert(FAMILY(model_info) == IA32_CPUID_FAMILY_P6);

Completed in 26 milliseconds