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

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcpu_identification.c26 BOOT_CODE cpu_identity_t *x86_cpuid_get_identity(void) function
125 cpu_identity_t *ci = x86_cpuid_get_identity();
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c409 x86_cpuid_get_identity()->vendor_string);
433 if (config_set(CONFIG_KERNEL_SKIM_WINDOW) && x86_cpuid_get_identity()->vendor == X86_VENDOR_AMD) {
438 if (!config_set(CONFIG_KERNEL_SKIM_WINDOW) && x86_cpuid_get_identity()->vendor == X86_VENDOR_INTEL) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dmachine.h239 cpu_identity_t *x86_cpuid_get_identity(void);

Completed in 30 milliseconds