PMD_DOMAIN
#define _PAGE_USER_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_USER))
#define _PAGE_KERNEL_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_KERNEL))
#define PMD_DOMAIN_MASK PMD_DOMAIN(0x0f)
int prot = PMD_TYPE_SECT | PMD_SECT_AP_WRITE | PMD_DOMAIN(DOMAIN_IO);
case PMD_DOMAIN(DOMAIN_KERNEL):
case PMD_DOMAIN(DOMAIN_USER):
case PMD_DOMAIN(DOMAIN_IO):
case PMD_DOMAIN(DOMAIN_VECTORS):
t->prot_l1 |= PMD_DOMAIN(t->domain);
t->prot_sect |= PMD_DOMAIN(t->domain);
pmd_val(*new_pmd) |= PMD_DOMAIN(DOMAIN_VECTORS);