x86_cpuid_vendor
if (x86_cpuid_vendor() != X86_VENDOR_AMD)
switch (x86_cpuid_vendor()) {
vendor = x86_cpuid_vendor();