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