Re: [PATCH 0/4] Monotonic clock device in GNU Mach

2012-04-05 Thread Samuel Thibault
Pino Toscano, le Mon 02 Apr 2012 22:33:36 +0200, a écrit : > @@ -103,6 +104,16 @@ > mtime->microseconds = (time)->microseconds; \ > asm volatile("":::"memory");\ > mtime->seconds = (time)->seconds; \ > + asm

Re: [PATCH 0/4] Monotonic clock device in GNU Mach

2012-04-02 Thread Pino Toscano
Hi, bringing this again, a couple of patches in "dirty form" to get further review. Attached there is my new attempt as it was previously discussed, i.e. providing more data in the kernel page of mapped time. * 01_types.diff: This adds a new structure in time_value.h, making it named in a simi

[PATCH 0/4] Monotonic clock device in GNU Mach

2011-08-26 Thread Pino Toscano
Hi, after Samuel's hint about mapped time, I've been able to add a new clock in GNU Mach, only updated on clock interrupts. Also, this clock is exposed like as device like the "time" one. Pino Toscano (4): Make update_mapped_time() take also the mapped time variable Make `mapable_time_init'