Peter Postma wrote:
> On Sun, Sep 17, 2006 at 07:37:26PM -0700, Garrett D'Amore wrote:
>   
>> Peter Postma wrote:
>>     
>>> On Sun, Sep 17, 2006 at 09:15:55AM -0700, Garrett D'Amore wrote:
>>>       
>>>> 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.
>>
>>     
>
> I'm at 1.12. I debugged a bit and it seems that when I change the splclock()
> to splhigh(), the double messages are gone. So this might be a hpcarm
> specific problem.
>
>   

Hmm... maybe splclock() isn't really blocking the clock interrupt?  It
certainly sounds like an hpcarm problem.

-- 
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