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.
