domain_mask
bic \tmp2, \tmp0, #domain_mask(DOMAIN_KERNEL)
set_domain((old_domain & ~domain_mask(DOMAIN_USER)) |
if ((domain & domain_mask(DOMAIN_USER)) ==