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

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c68 ci->display.family = ci->display.extended_family + original.family;
111 ci->display.family = original.family + ci->display.extended_family;
140 ci->display.extended_family = cpuid_001h_eax_get_extended_family(eax);
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h210 uint8_t family, model, stepping, extended_family, extended_model; member in struct:_x86_cpu_identity

Completed in 75 milliseconds