OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h

   1 /** @file
   2   Internal definitions for ACPI Timer Library
   3
   4   Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
   5
   6   This program and the accompanying materials are licensed and made
   7   available under the terms and conditions of the BSD License which
   8   accompanies this distribution.   The full text of the license may
   9   be found at http://opensource.org/licenses/bsd-license.php
  10
  11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13 **/
  14
  15 #ifndef _ACPI_TIMER_LIB_INTERNAL_H_
  16 #define _ACPI_TIMER_LIB_INTERNAL_H_
  17
  18 /**
  19   Internal function to read the current tick counter of ACPI.
  20
  21   @return The tick counter read.
  22
  23 **/
  24 UINT32
  25 InternalAcpiGetTimerTick (
  26   VOID
  27   );
  28
  29 #endif // _ACPI_TIMER_LIB_INTERNAL_H_