On 19 Jul 2019, at 23:15, Almudena Garcia <liberamenso10...@gmail.com> wrote:
> 
> Forwarded to bug-hurd maillist 
> 
> ---------- Forwarded message ---------
> De: Andrew Eggenberger <andrew.eggenber...@gmail.com>
> Date: vie., 19 jul. 2019 a las 20:11
> Subject: mapped-time interface
> To: <help-h...@gnu.org>
> 
> 
> 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


Reply via email to