// Copyright 2020 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

// GENERATED BY `converter.py`. DO NOT EDIT.
//
// This file gives the set of CPUID values for a particular x86 microprocessor.
// It is meant to be #include'd with the DEFINE_CPUID_VALUES macro defined.
// Each line gives (leaf, subleaf, EAX, EBX, ECX, EDX) for a particular set of
// values, in that order.

DEFINE_CPUID_VALUES(0x00000000, 0x00, 0x0000000d, 0x756e6547, 0x6c65746e, 0x49656e69)
DEFINE_CPUID_VALUES(0x00000001, 0x00, 0x000306a9, 0x00100800, 0x3d9ae3bf, 0xbfebfbff)
DEFINE_CPUID_VALUES(0x00000002, 0x00, 0x76035a01, 0x00f0b2ff, 0x00000000, 0x00ca0000)
DEFINE_CPUID_VALUES(0x00000003, 0x00, 0x00000000, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x00000004, 0x00, 0x1c004121, 0x01c0003f, 0x0000003f, 0x00000000)
DEFINE_CPUID_VALUES(0x00000004, 0x01, 0x1c004122, 0x01c0003f, 0x0000003f, 0x00000000)
DEFINE_CPUID_VALUES(0x00000004, 0x02, 0x1c004143, 0x01c0003f, 0x000001ff, 0x00000000)
DEFINE_CPUID_VALUES(0x00000004, 0x03, 0x1c03c163, 0x02c0003f, 0x00000fff, 0x00000006)
DEFINE_CPUID_VALUES(0x00000005, 0x00, 0x00000040, 0x00000040, 0x00000003, 0x00001120)
DEFINE_CPUID_VALUES(0x00000006, 0x00, 0x00000075, 0x00000002, 0x00000009, 0x00000000)
DEFINE_CPUID_VALUES(0x00000007, 0x00, 0x00000000, 0x00000281, 0x00000000, 0x9c000400)
DEFINE_CPUID_VALUES(0x00000008, 0x00, 0x00000000, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x00000009, 0x00, 0x00000000, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x0000000a, 0x00, 0x07300403, 0x00000000, 0x00000000, 0x00000603)
DEFINE_CPUID_VALUES(0x0000000b, 0x00, 0x00000001, 0x00000002, 0x00000100, 0x00000000)
DEFINE_CPUID_VALUES(0x0000000b, 0x01, 0x00000004, 0x00000004, 0x00000201, 0x00000000)
DEFINE_CPUID_VALUES(0x0000000c, 0x00, 0x00000000, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x0000000d, 0x00, 0x00000007, 0x00000340, 0x00000340, 0x00000000)
DEFINE_CPUID_VALUES(0x0000000d, 0x01, 0x00000001, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x0000000d, 0x02, 0x00000100, 0x00000240, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x20000000, 0x00, 0x00000007, 0x00000340, 0x00000340, 0x00000000)
DEFINE_CPUID_VALUES(0x80000000, 0x00, 0x80000008, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x80000001, 0x00, 0x00000000, 0x00000000, 0x00000001, 0x28100800)
DEFINE_CPUID_VALUES(0x80000002, 0x00, 0x20202020, 0x20202020, 0x65746e49, 0x2952286c)
DEFINE_CPUID_VALUES(0x80000003, 0x00, 0x726f4320, 0x4d542865, 0x33692029, 0x3432332d)
DEFINE_CPUID_VALUES(0x80000004, 0x00, 0x50432030, 0x20402055, 0x30342e33, 0x007a4847)
DEFINE_CPUID_VALUES(0x80000005, 0x00, 0x00000000, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x80000006, 0x00, 0x00000000, 0x00000000, 0x01006040, 0x00000000)
DEFINE_CPUID_VALUES(0x80000007, 0x00, 0x00000000, 0x00000000, 0x00000000, 0x00000100)
DEFINE_CPUID_VALUES(0x80000008, 0x00, 0x00003024, 0x00000000, 0x00000000, 0x00000000)
DEFINE_CPUID_VALUES(0x80860000, 0x00, 0x00000007, 0x00000340, 0x00000340, 0x00000000)
DEFINE_CPUID_VALUES(0xc0000000, 0x00, 0x00000007, 0x00000340, 0x00000340, 0x00000000)