Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package mirage-clock-unix
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module PclockSource
POSIX clock for MirageOS using Unix 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.
period_d_ps () is Some (d, ps) representing the clock's picosecond period d * 86'400e12 + ps, if known. ps is in the range [0;86_399_999_999_999_999L].