In article <000701c475a7$ccd780c0$0d00a8c0@paq5>
locore32@gaea.ocn.ne.jp wrote:

> > The correct solution is to stop/initialize the timer
> > during/before cpu_configure() and start it in cpu_initclocks().
> 
> The issue is why cpu_intr() *is* called, which should never happen, no
> matter how TIMER0 value of GT64011 is set.

Because the timer is already running when _splnone() is called
in cpu_configure()?
---
Izumi Tsutsui
tsutsui@ceres.dti.ne.jp