Symbol: PMAP_ENABLE_PMAP_KMPAGE
sys/arch/arm/include/arm32/pmap.h
424
#define PMAP_ENABLE_PMAP_KMPAGE /* enable the PMAP_KMPAGE flag */
sys/arch/mips/include/pmap.h
278
#define PMAP_ENABLE_PMAP_KMPAGE /* enable the PMAP_KMPAGE flag */