EdkNt32Pkg/Dxe/WinNtThunk/Chipset/Timer/Timer.msa

<?xml version="1.0" encoding="UTF-8"?>
<ModuleSurfaceArea xmlns="http://www.TianoCore.org/2006/Edk2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <MsaHeader>
    <ModuleName>Timer</ModuleName>
    <ModuleType>DXE_DRIVER</ModuleType>
    <GuidValue>C3811036-710B-4E39-8CF1-0AF9BE3A8198</GuidValue>
    <Version>1.0</Version>
    <Abstract>NT Emulation Timer Architectural Protocol Driver as defined in DXE CIS</Abstract>
    <Description>This Timer module uses an NT Thread to simulate the timer-tick driven
      timer service.  In the future, the Thread creation should possibly be
      abstracted by the CPU architectural protocol</Description>
    <Copyright>Copyright (c) 2006 - 2007, Intel Corporation</Copyright>
    <License>All rights reserved. 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.</License>
    <Specification>FRAMEWORK_BUILD_PACKAGING_SPECIFICATION   0x00000052</Specification>
  </MsaHeader>
  <ModuleDefinitions>
    <SupportedArchitectures>IA32</SupportedArchitectures>
    <BinaryModule>false</BinaryModule>
    <OutputFileBasename>Timer</OutputFileBasename>
  </ModuleDefinitions>
  <LibraryClassDefinitions>
    <LibraryClass Usage="ALWAYS_CONSUMED">
      <Keyword>DebugLib</Keyword>
    </LibraryClass>
    <LibraryClass Usage="ALWAYS_CONSUMED">
      <Keyword>UefiDriverEntryPoint</Keyword>
    </LibraryClass>
    <LibraryClass Usage="ALWAYS_CONSUMED">
      <Keyword>WinNtLib</Keyword>
    </LibraryClass>
    <LibraryClass Usage="ALWAYS_CONSUMED">
      <Keyword>UefiBootServicesTableLib</Keyword>
    </LibraryClass>
  </LibraryClassDefinitions>
  <SourceFiles>
    <Filename>Timer.h</Filename>
    <Filename>Timer.c</Filename>
    <Filename>Timer.dxs</Filename>
  </SourceFiles>
  <PackageDependencies>
    <Package PackageGuid="5e0e9358-46b6-4ae2-8218-4ab8b9bbdcec"/>
    <Package PackageGuid="0fb2aa2d-10d5-40a5-a9dc-060c12a4a3f3"/>
  </PackageDependencies>
  <Protocols>
    <Protocol Usage="ALWAYS_PRODUCED">
      <ProtocolCName>gEfiTimerArchProtocolGuid</ProtocolCName>
    </Protocol>
    <Protocol Usage="ALWAYS_CONSUMED">
      <ProtocolCName>gEfiCpuArchProtocolGuid</ProtocolCName>
    </Protocol>
  </Protocols>
  <Externs>
    <Specification>EFI_SPECIFICATION_VERSION 0x00020000</Specification>
    <Specification>EDK_RELEASE_VERSION 0x00020000</Specification>
    <Extern>
      <ModuleEntryPoint>WinNtTimerDriverInitialize</ModuleEntryPoint>
    </Extern>
  </Externs>
</ModuleSurfaceArea>