Peter Postma wrote:
> On Sun, Sep 17, 2006 at 09:15:55AM -0700, Garrett D'Amore wrote:
>   
>> Peter Postma wrote:
>>     
>>> timecounter: Timecounters tick every 10.000 msec
>>> timecounter: Timecounter "clockinterrupt" frequency 100 Hz quality 0
>>> timecounter: selected timecounter "clockinterrupt" frequency 100 Hz quality 0
>>> timecounter: Timecounter "saost_count" frequency 3686400 Hz quality 100
>>> timecounter: selected timecounter "saost_count" frequency 3686400 Hz quality 100
>>> timecounter: selected timecounter "saost_count" frequency 3686400 Hz quality 100
>>>   
>>>       
>> The double selection messages suggest that you need to update the kernel
>> from CVS.  A change was made to todr to prevent tc_windup() from getting
>> called with interrupts enabled -- I think that is what has happened
>> here.  (You should not see double messages like this.)
>>     
>
> I believe that I'm up to date :-) which revisions should I have?
>   

1.12 of kern_tc.c is what you need.

This version calls tc_windup() inside splclock().  Earlier versions didn't.

    -- Garrett

-- 
Garrett D'Amore, Principal Software Engineer
Tadpole Computer / Computing Technologies Division,
General Dynamics C4 Systems
http://www.tadpolecomputer.com/
Phone: 951 325-2134  Fax: 951 325-2191