1 /** @file
2   GUID for TSC frequency
3 
4   Copyright (c) 2011, Intel Corporation. All rights reserved.<BR>
5   This program and the accompanying materials
6   are licensed and made available under the terms and conditions of the BSD License
7   which accompanies this distribution.  The full text of the license may be found at
8   http://opensource.org/licenses/bsd-license.php
9 
10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
12 
13 **/
14 
15 #ifndef _TSC_FREQUENCY_GUID_H_
16 #define _TSC_FREQUENCY_GUID_H_
17 
18 #define EFI_TSC_FREQUENCY_GUID \
19   { \
20     0xdba6a7e3, 0xbb57, 0x4be7, { 0x8a, 0xf8, 0xd5, 0x78, 0xdb, 0x7e, 0x56, 0x87 } \
21   }
22 
23 extern EFI_GUID gEfiTscFrequencyGuid;
24 
25 #endif
26