pmap_l1_kva
pd_entry_t * const pdep = pmap_l1_kva(pm) + l1slot;
pd_entry_t * const pdep = pmap_l1_kva(pm) + l1slot;
pm->pm_pl1vec = pmap_l1_kva(pm) + l1pte_index(vector_page);
pd_entry_t *pdep = pmap_l1_kva(pm)
pdep = pmap_l1_kva(pm) + l1slot;
pd_entry_t * const pdep = pmap_l1_kva(pm) + l1slot;
&pmap_l1_kva(pm)[l1slot], pmap_l1_kva(pm)[l1slot],
*pdp = pdep = pmap_l1_kva(pm) + l1slot;
*pdp = pmap_l1_kva(pm) + l1pte_index(va);
memcpy(l1pt, pmap_l1_kva(pmap_kernel()), L1_TABLE_SIZE);
pm->pm_pl1vec = pmap_l1_kva(pm) + l1pte_index(vector_page);
printf("l1 at %p\n", pmap_l1_kva(pm));
printf("domain %d, l1 at %p\n", pmap_domain(pm), pmap_l1_kva(pm));