NKPTP             228 arch/i386/i386/pmap.c int nkpde = NKPTP;
NKPTP             175 arch/i386/include/pmap.h #ifndef NKPTP