RiscVPlatformTimerLib.h 437 B

12345678910111213141516171819202122232425
  1. /** @file
  2. RISC-V Platform Timer library definitions.
  3. Copyright (c) 2022, Hewlett Packard Enterprise Development LP. All rights reserved.<BR>
  4. SPDX-License-Identifier: BSD-2-Clause-Patent
  5. **/
  6. #ifndef RISCV_PLATFORM_TIMER_LIB_H_
  7. #define RISCV_PLATFORM_TIMER_LIB_H_
  8. UINT64
  9. RiscVReadMachineTimer (
  10. VOID
  11. );
  12. VOID
  13. RiscVSetMachineTimerCmp (UINT64);
  14. UINT64
  15. RiscVReadMachineTimerCmp (
  16. VOID
  17. );
  18. #endif