for debugging the pmap code. The in-line version of the same is still here and will be used if PMAP_DEBUG is not defined.