DOMAIN_CLIENT
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
const uint32_t ndacr = (DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2))
| (DOMAIN_CLIENT << (pmap_domain(npm) * 2));
uint32_t odacr = (DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2))
| (DOMAIN_CLIENT << (pmap_domain(opm) * 2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
#define DOMAIN_DEFAULT ((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | (DOMAIN_CLIENT << (PMAP_DOMAIN_USER*2)))
#define DOMAIN_DEFAULT ((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)))
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));