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

/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dcpu_identification.c33 /** Extracts the vendor string from CPUID_000H.E[BCD]X.
125 /* First determine which vendor manufactured the CPU. */
148 ci->vendor = X86_VENDOR_INTEL;
155 ci->vendor = X86_VENDOR_AMD;
159 /* CPU from unsupported vendor. Examples could be Cyrix, Centaur, etc.
163 ci->vendor = X86_VENDOR_OTHER;
/seL4-l4v-master/HOL4/polyml/
H A Dconfig.sub1558 # The value should be what the vendor currently ships out the door with their
1745 vendor=unknown
1750 vendor=acorn
1753 vendor=sun
1756 vendor=ibm
1759 vendor=be
1762 vendor=hp
1765 vendor=hp
1768 vendor=hitachi
1771 vendor
[all...]
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dboot_sys.c349 printf("Warning: Your x86 CPU has an unsupported vendor, '%s'.\n"
376 /* hardware doesn't tell us directly so guess based on CPU vendor */
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.h215 enum x86_vendor vendor; member in struct:_cpu_identity
233 /** To be used by code that wants to get the CPU vendor name.

Completed in 47 milliseconds