PMAP_DOMAIN_KERNEL
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
.pm_domain = PMAP_DOMAIN_KERNEL,
const uint32_t ndacr = (DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2))
uint32_t odacr = (DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2))
| L1_C_DOM(PMAP_DOMAIN_KERNEL);
L1_S_PROT(PTE_KERNEL, prot) | fl | L1_S_DOM(PMAP_DOMAIN_KERNEL);
const pd_entry_t npde = L1_C_DOM(PMAP_DOMAIN_KERNEL) | L1_C_PROTO
| L1_S_DOM(PMAP_DOMAIN_KERNEL);
return pm == pmap_kernel() ? PMAP_DOMAIN_KERNEL : PMAP_DOMAIN_USER;
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)))
L1_C_PROTO | l2ptpa | L1_C_DOM(PMAP_DOMAIN_KERNEL);
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));