On May 25, 2005, at 1:41 AM, Manuel Bouyer wrote:

> At first glance I didn't find a place where they would be called  
> from an
> interrupt context. I tried protecting them with splvm(), but then
> the resulting kernel doesn't boot (they are called from pmap_init 
> (), and
> I guess we can't use spl functions at this point).

wow, you'd better be able to use spl*() by the time pmap_init() is  
called!

-- thorpej