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