| /** @file | |
| GUID for TSC frequency | |
| Copyright (c) 2011, Intel Corporation. All rights reserved.<BR> | |
| This program and the accompanying materials | |
| are licensed and made available under the terms and conditions of the BSD License | |
| which accompanies this distribution. The full text of the license may be found at | |
| http://opensource.org/licenses/bsd-license.php | |
| THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, | |
| WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. | |
| **/ | |
| #ifndef _TSC_FREQUENCY_GUID_H_ | |
| #define _TSC_FREQUENCY_GUID_H_ | |
| #define EFI_TSC_FREQUENCY_GUID \ | |
| { \ | |
| 0xdba6a7e3, 0xbb57, 0x4be7, { 0x8a, 0xf8, 0xd5, 0x78, 0xdb, 0x7e, 0x56, 0x87 } \ | |
| } | |
| extern EFI_GUID gEfiTscFrequencyGuid; | |
| #endif |