Symbol: PMAP_DOMAIN_USER
sys/arch/arm/arm32/pmap.c
882
return pm == pmap_kernel() ? PMAP_DOMAIN_KERNEL : PMAP_DOMAIN_USER;
sys/arch/arm/include/arm32/pmap.h
815
#define DOMAIN_DEFAULT ((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | (DOMAIN_CLIENT << (PMAP_DOMAIN_USER*2)))