include Mirage_clock.MCLOCK
elapsed_ns () is a monotonically increasing count of nanoseconds elapsed since some arbitrary point
MclockMonotonic clock for MirageOS using paravirtual interfaces
Clock returning monotonic time since an arbitrary point. To be used for eg. profiling.
include Mirage_clock.MCLOCKelapsed_ns () is a monotonically increasing count of nanoseconds elapsed since some arbitrary point