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