/** @file
  RISC-V Machine Mode Timer Library Definition

  Copyright (c) 2022, Hewlett Packard Enterprise Development LP. All rights reserved.<BR>

  SPDX-License-Identifier: BSD-2-Clause-Patent
**/

#ifndef MACHINE_MODE_TIMER_LIB_H_
#define MACHINE_MODE_TIMER_LIB_H_

UINT64
RiscVReadMachineTimerInterface (
  VOID
  );

#endif
