1 /*++ 2 3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR> 4 This program and the accompanying materials 5 are licensed and made available under the terms and conditions of the BSD License 6 which accompanies this distribution. The full text of the license may be found at 7 http://opensource.org/licenses/bsd-license.php 8 9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11 12 Module Name: 13 14 CpuFuncs.h 15 16 Abstract: 17 18 --*/ 19 20 #ifndef _CPU_FUNCS_H 21 #define _CPU_FUNCS_H 22 23 #define EFI_CPUID_SIGNATURE 0x0 24 #define EFI_CPUID_VERSION_INFO 0x1 25 #define EFI_CPUID_CACHE_INFO 0x2 26 #define EFI_CPUID_SERIAL_NUMBER 0x3 27 #define EFI_CPUID_EXTENDED_FUNCTION 0x80000000 28 #define EFI_CPUID_EXTENDED_CPU_SIG 0x80000001 29 #define EFI_CPUID_BRAND_STRING1 0x80000002 30 #define EFI_CPUID_BRAND_STRING2 0x80000003 31 #define EFI_CPUID_BRAND_STRING3 0x80000004 32 33 #define EFI_MSR_IA32_APIC_BASE 0x1B 34 #define EFI_MSR_EBC_HARD_POWERON 0x2A 35 #define EFI_MSR_EBC_SOFT_POWERON 0x2B 36 #define EFI_MSR_EBC_FREQUENCY_ID 0x2C 37 #define EFI_MSR_IA32_BIOS_UPDT_TRIG 0x79 38 #define EFI_MSR_IA32_BIOS_SIGN_ID 0x8B 39 #define EFI_APIC_GLOBAL_ENABLE 0x800 40 41 #define EFI_CACHE_VARIABLE_MTRR_BASE 0x200 42 #define EFI_CACHE_VARIABLE_MTRR_END 0x20F 43 #define EFI_CACHE_IA32_MTRR_DEF_TYPE 0x2FF 44 #define EFI_CACHE_VALID_ADDRESS 0xFFFFFF000 45 #define EFI_CACHE_MTRR_VALID 0x800 46 #define EFI_CACHE_FIXED_MTRR_VALID 0x400 47 #define EFI_MSR_VALID_MASK 0xFFFFFFFFF 48 49 #define EFI_IA32_MTRR_FIX64K_00000 0x250 50 #define EFI_IA32_MTRR_FIX16K_80000 0x258 51 #define EFI_IA32_MTRR_FIX16K_A0000 0x259 52 #define EFI_IA32_MTRR_FIX4K_C0000 0x268 53 #define EFI_IA32_MTRR_FIX4K_C8000 0x269 54 #define EFI_IA32_MTRR_FIX4K_D0000 0x26A 55 #define EFI_IA32_MTRR_FIX4K_D8000 0x26B 56 #define EFI_IA32_MTRR_FIX4K_E0000 0x26C 57 #define EFI_IA32_MTRR_FIX4K_E8000 0x26D 58 #define EFI_IA32_MTRR_FIX4K_F0000 0x26E 59 #define EFI_IA32_MTRR_FIX4K_F8000 0x26F 60 61 #define EFI_IA32_MCG_CAP 0x179 62 #define EFI_IA32_MCG_CTL 0x17B 63 #define EFI_IA32_MC0_CTL 0x400 64 #define EFI_IA32_MC0_STATUS 0x401 65 66 #define EFI_CACHE_UNCACHEABLE 0 67 #define EFI_CACHE_WRITECOMBINING 1 68 #define EFI_CACHE_WRITETHROUGH 4 69 #define EFI_CACHE_WRITEPROTECTED 5 70 #define EFI_CACHE_WRITEBACK 6 71 72 UINT64 73 EfiReadTsc ( 74 VOID 75 ) 76 /*++ 77 78 Routine Description: 79 80 Read Time stamp. 81 82 Arguments: 83 84 None 85 86 Returns: 87 88 Return the read data 89 90 --*/ 91 ; 92 93 #endif 94
