Re: mapped-time interface

2019-07-19 Thread James Clarke 
On 19 Jul 2019, at 23:15, Almudena Garcia  wrote:
> 
> Forwarded to bug-hurd maillist 
> 
> -- Forwarded message -
> De: Andrew Eggenberger 
> Date: vie., 19 jul. 2019 a las 20:11
> Subject: mapped-time interface
> To: 
> 
> 
> 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?

See hurd's libshouldbeinlibc/maptime.[ch]; it's exposed through /dev/time and/or
the "time" mach device.

James

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

Fwd: mapped-time interface

2019-07-19 Thread Almudena Garcia 
Forwarded to bug-hurd maillist

-- Forwarded message -
De: Andrew Eggenberger 
Date: vie., 19 jul. 2019 a las 20:11
Subject: mapped-time interface
To: 


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*