EdkCompatibilityPkg/Foundation/Library/Dxe/Include/Ipf/CpuFuncs.h

   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