PDB_PARANOIA
int pmapdebug = PDB_PARANOIA;
if ((pmapdebug & PDB_PARANOIA) &&
if ((pmapdebug & PDB_PARANOIA) && (*pte & PG_CCB) == 0)