Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
POSIX clock for MirageOS using paravirtual interfaces
Clock counting time since the Unix epoch. Subject to adjustment by e.g. NTP.
include Mirage_clock.PCLOCK
now_d_ps ()
is (d, ps)
representing the POSIX time occurring at d
* 86'400e12 + ps
POSIX picoseconds from the epoch 1970-01-01 00:00:00 UTC. ps
is in the range [0
;86_399_999_999_999_999L
].
current_tz_offset_s ()
is the clock's current local time zone offset to UTC in seconds, if known. This is the duration local time - UTC time in seconds.