Searched refs:x86_cpuid_get_model_info (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dhardware.c85 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info();
/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dcpu_identification.c31 BOOT_CODE x86_cpu_identity_t *x86_cpuid_get_model_info(void) function
H A Dhardware.c111 model_info = x86_cpuid_get_model_info();
H A Dbreakpoint.c674 modelinfo = x86_cpuid_get_model_info();
/seL4-mcs-10.1.1/include/arch/x86/arch/
H A Dmachine.h236 x86_cpu_identity_t *x86_cpuid_get_model_info(void);
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot_sys.c309 x86_cpu_identity_t *model_info = x86_cpuid_get_model_info();

Completed in 60 milliseconds