>  > -	if (pa & 0x80000000)
>  > +#endif
>  > +#ifdef PARANOIADIAG
>  > +#if defined(cobalt) || defined(newsmips) || defined(pmax) /* otherwise ok */
>  > +	if (pa & 0x80000000)	/* this is not error in general. */
>  >  		panic("pmap_enter: pa");
>  > +#endif
> 
> ...instead of listing the ports, you should test against _MIPS_PADDR_T_64BIT

This (pa & 0x80000000) check doesn't suitable even if paddr_t is 32bit,
since there are platforms that their device address space >= 0x80000000,
but < 0x100000000. This is why I don't use _MIPS_PADDR_T_64bit here.

Personally, I'd like to remove this check completely, but this check
may be useful for pmax and newsmips.
--
soda