Searched refs:DOMAIN_KERNEL (Results 1 – 4 of 4) sorted by relevance
32 #define DOMAIN_KERNEL 0 macro37 #define DOMAIN_KERNEL 2 macro
24 #define _PAGE_KERNEL_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_KERNEL))
76 domain_val(DOMAIN_KERNEL, DOMAIN_MANAGER) | \
64 modify_domain(DOMAIN_KERNEL, fs ? DOMAIN_CLIENT : DOMAIN_MANAGER); in set_fs()