Re: pmap_kenter_pa: mapping already present

[Matt Thomas <matt%3am-software.com@localhost>]

On Aug 9, 2011, at 6:31 AM, Emmanuel Dreyfus wrote:

> Hi
> 
> I have a -current Xen DOMU that randomly says:
>  pmap_kenter_pa: mapping already present
> 
> It happens in sys/arch/x86/x86/pmap.c
> That seems completely harmless, but in the code there is a comment 
>               /* This should not happen */
> 
> Is it a realy bug, or should this printf be #ifdef DEBUG ?

It's a bug.  The KVA used by pmap_kenter_pa should not be currently mapped.
I'd change it to a KASSERT and then fix it.