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

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcpu_identification.c36 /** Extracts the vendor string from CPUID_000H.E[BCD]X.
132 /* First determine which vendor manufactured the CPU. */
155 ci->vendor = X86_VENDOR_INTEL;
162 ci->vendor = X86_VENDOR_AMD;
166 /* CPU from unsupported vendor. Examples could be Cyrix, Centaur, etc.
170 ci->vendor = X86_VENDOR_OTHER;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
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...]
H A Dconfigure16517 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for C compiler vendor" >&5
16518 $as_echo_n "checking for C compiler vendor... " >&6; }
16544 *:) vendor=$ventest; continue ;;
16567 ax_cv_c_compiler_vendor=`echo $vendor | cut -d: -f1`
/seL4-l4v-10.1.1/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-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c405 printf("Warning: Your x86 CPU has an unsupported vendor, '%s'.\n"
432 /* hardware doesn't tell us directly so guess based on CPU vendor */
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.h219 enum x86_vendor vendor; member in struct:_cpu_identity
237 /** To be used by code that wants to get the CPU vendor name.

Completed in 116 milliseconds