PMAP_DPRINTF
#define PMAP_DPRINTF(l, x) if (pmapdebug & (l)) printf x
#define PMAP_DPRINTF(l, x) /* nothing */