Symbol: DOMAIN_DEFAULT
sys/arch/arm/include/arm32/pmap.h
815
#define DOMAIN_DEFAULT ((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | (DOMAIN_CLIENT << (PMAP_DOMAIN_USER*2)))
sys/arch/arm/include/arm32/pmap.h
817
#define DOMAIN_DEFAULT ((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)))