On Fri, Jul 14, 2000 at 09:42:21PM -0300, Jared D. McNeill wrote:

 > > Could you change the panic code to:
 > > 
 > > 	if (*zero_pte)
 > > 		panic("pmap_zero_page: lock botch, pte %x", *zero_pte);
 > 
 > I'll change the panic output in pmap_zero_page_uncached and rebuild a
 > kernel with DIAGNOSTIC defined. I'm pretty sure you mean
 > pmap_zero_page_uncached, since that's where the kernel is panicing..

Actually, do it in both places, please.

-- 
        -- Jason R. Thorpe <thorpej@zembu.com>