pmap_domain
l1->l1_domain_free[pmap_domain(pm) - 1] = l1->l1_domain_first;
l1->l1_domain_first = pmap_domain(pm) - 1;
| L1_C_DOM(pmap_domain(pm));
== (L1_C_DOM(pmap_domain(pm))|L1_TYPE_C)) {
L1_C_DOM(pmap_domain(pm));
| L1_C_DOM(pmap_domain(pm));
pd_entry_t pde = L1_C_PROTO | l2b->l2b_pa | L1_C_DOM(pmap_domain(pm));
| (DOMAIN_CLIENT << (pmap_domain(npm) * 2));
| (DOMAIN_CLIENT << (pmap_domain(opm) * 2));
L1_C_DOM(pmap_domain(pm));
printf("domain %d, l1 at %p\n", pmap_domain(pm), pmap_l1_kva(pm));