DOMAIN_USER
(domain_val(DOMAIN_USER, DOMAIN_NOACCESS) | \
(domain_val(DOMAIN_USER, DOMAIN_CLIENT) | \
(__DACR_DEFAULT | domain_val(DOMAIN_USER, DOMAIN_NOACCESS))
(__DACR_DEFAULT | domain_val(DOMAIN_USER, DOMAIN_CLIENT))
#define _PAGE_USER_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_USER))
set_domain((old_domain & ~domain_mask(DOMAIN_USER)) |
domain_val(DOMAIN_USER, DOMAIN_CLIENT));
if ((domain & domain_mask(DOMAIN_USER)) ==
domain_val(DOMAIN_USER, DOMAIN_NOACCESS))
case PMD_DOMAIN(DOMAIN_USER):