Symbol: DOMAIN_MANAGER
arch/arm/include/asm/domain.h
50
#define DOMAIN_MANAGER 3
arch/arm/include/asm/domain.h
52
#define DOMAIN_MANAGER 1