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
mirage-xen.bindings
- Mirage_xen_bindings
mirage-xen.bindings-minios
- Mirage_xen_bindings_minios

Legend:
Library
Module
Module type
Parameter
Class
Class type

Timeout operations.

module Monotonic : sig ... end

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.

val restart_threads : (unit -> [ `Time ] Monotonic.t) -> unit

restart_threads time_fun restarts threads that are sleeping and whose wakeup time is before time_fun ().

val select_next : unit -> [ `Time ] Monotonic.t option

select_next () is Some t where t is the earliest time when one sleeping thread will wake up, or None if there is no sleeping threads.

val sleep_ns : int64 -> unit Lwt.t

sleep_ns d Block the current thread for n nanoseconds.

exception Timeout

Exception raised by timeout operations

val with_timeout : int64 -> (unit -> 'a Lwt.t) -> 'a Lwt.t

with_timeout d f is a short-hand for:

Lwt.pick [Lwt_unix.timeout d; f ()]