1 //
2 // Copyright (c) 2010-2019 Antmicro
3 //
4 //  This file is licensed under the MIT License.
5 //  Full license text is available in 'licenses/MIT.txt'.
6 //
7 using System;
8 namespace Antmicro.Renode.Peripherals.Timers
9 {
10     public interface IRiscVTimeProvider
11     {
12         ulong TimerValue { get; }
13     }
14 }
15