| // 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 |
| |
| #include <lib/arch/x86/boot-cpuid.h> |
| #include <lib/special-sections/special-sections.h> |
| |
| namespace arch::internal { |
| |
| // The zeroth basic, hypervisor, and extended leaves (0, 0x4000'0000, and |
| // 0x8000'0000) are handled specially in InitializeBootCpuid itself. |
| // Note that they are not described in the special section. |
| CpuidIo gBootCpuid0; |
| CpuidIo gBootCpuidHyp0; |
| CpuidIo gBootCpuidExt0; |
| |
| // These are defined with assembly-friendly names, but have standard metadata |
| // to get them initialized by InitializeBootCpuid only if they're linked in. |
| CpuidIo gBootCpuidFeature; |
| CpuidIo gBootCpuidExtf; |
| |
| } // namespace arch::internal |