DOMAIN_KERNEL      34 arch/arm/include/asm/domain.h #define DOMAIN_KERNEL	0
DOMAIN_KERNEL      38 arch/arm/include/asm/domain.h #define DOMAIN_KERNEL	2