mapped-time interface

Andrew Eggenberger <[email protected]> Fri, 19 Jul 2019 12:58:44 -0500
Newsgroups gmane.os.hurd.general
Message-ID <CANn+amafDpQ3+i3AMZe3TmLVB7L8uUHoe_3Ej9Z5Wsz5Q=zOvA@mail.gmail.com>
This gnu Mach reference manual page [1] refers to a “mapped-time interface”
for accessing the current time. A type is given and a usage example, but I
haven’t found a way to get a pointer to the value. Am I missing something?
Is the interface not available in user space?

1: https://www.gnu.org/software/hurd/gnumach-doc/Host-Time.html
-- 

*Andrew Eggenberger*