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

/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dcpu_identification.c23 BOOT_CODE cpu_identity_t *x86_cpuid_get_identity(void) function
118 cpu_identity_t *ci = x86_cpuid_get_identity();
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dboot_sys.c353 x86_cpuid_get_identity()->vendor_string);
377 if (config_set(CONFIG_KERNEL_SKIM_WINDOW) && x86_cpuid_get_identity()->vendor == X86_VENDOR_AMD) {
382 if (!config_set(CONFIG_KERNEL_SKIM_WINDOW) && x86_cpuid_get_identity()->vendor == X86_VENDOR_INTEL) {
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dmachine.h235 cpu_identity_t *x86_cpuid_get_identity(void);

Completed in 35 milliseconds