package mirage-xen

You can search for identifiers within the package.

in-package search v0.2.0

mirage-xen
- OS
  - Activations
  - Device_state
  - Lifecycle
  - MM
    
    Heap_pages
  - Main
  - Sched
  - Start_info
  - Time
    
    Monotonic
  - Xen
    
    Export
    
    Gntref
    
    Import
    
    Local_mapping
  - Xs

Legend:
Library
Module
Module type
Parameter
Class
Class type

Monotonic time is time since boot (dom0 or domU, depending on platform). * Unlike Clock.time, it does not go backwards when the system clock is * adjusted.

type time_kind = [

| `Time
| `Interval

]

type 'a t constraint 'a = [< time_kind ]

val time : unit -> [ `Time ] t

Read the current monotonic time.

val (+) : 'a t -> [ `Interval ] t -> 'a t

val (-) : 'a t -> [ `Interval ] t -> 'a t

val interval : [ `Time ] t -> [ `Time ] t -> [ `Interval ] t

val of_nanoseconds : int64 -> _ t

Conversions. Note: still seconds since boot.