Searched refs:IVY_BRIDGE_3_MODEL_ID (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dhardware.c84 IVY_BRIDGE_1_MODEL_ID, IVY_BRIDGE_2_MODEL_ID, IVY_BRIDGE_3_MODEL_ID,
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dhardware.c99 IVY_BRIDGE_3_MODEL_ID,
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h69 #define IVY_BRIDGE_3_MODEL_ID 0x3A macro
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c301 case IVY_BRIDGE_3_MODEL_ID:

Completed in 45 milliseconds