DOMAIN_KERNEL
domain_val(DOMAIN_KERNEL, DOMAIN_MANAGER) | \
domain_val(DOMAIN_KERNEL, DOMAIN_MANAGER) | \
domain_val(DOMAIN_KERNEL, DOMAIN_CLIENT) | \
#define _PAGE_KERNEL_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_KERNEL))
bic \tmp2, \tmp0, #domain_mask(DOMAIN_KERNEL)
orr \tmp2, \tmp2, #domain_val(DOMAIN_KERNEL, DOMAIN_CLIENT)
case PMD_DOMAIN(DOMAIN_KERNEL):
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,
.domain = DOMAIN_KERNEL,