[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 4/4] Add a monotonic time device

From: Roland McGrath
Subject: Re: [PATCH 4/4] Add a monotonic time device
Date: Sat, 27 Aug 2011 10:03:24 -0700 (PDT)

> Pino Toscano, le Fri 26 Aug 2011 20:29:43 +0200, a écrit :
> > +extern vm_offset_t monotonicmmap();
> > +#define    monotonicname           "monotonic"
> Ah, I was rather thinking about appending the new clock to the existing
> mappable clock.  I don't think it is useful to separate them.

It does seem good to consolidate on the one page, no reason to have two
pages.  But how exactly will the user tell that he has a new kernel that
has both?  It could be by some magic number on the page or something.  But
perhaps it's better just to have a new device name that's an alias for
"time", but only recognized by new microkernels that are supplying the
additional words on the same page.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]