Symbol: NKPTP
sys/arch/i386/i386/pmap.c
370
int nkpde = NKPTP;
sys/arch/i386/include/pmap.h
55
#ifndef NKPTP