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