Searched refs:WESTMERE_1_MODEL_ID (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dhardware.c100 SANDY_BRIDGE_1_MODEL_ID, SANDY_BRIDGE_2_MODEL_ID, WESTMERE_1_MODEL_ID, WESTMERE_2_MODEL_ID,
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h72 #define WESTMERE_1_MODEL_ID 0x25 /* Arrandale and Clarksdale */ macro
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c314 case WESTMERE_1_MODEL_ID:

Completed in 36 milliseconds