pmap_kernel_pte
pt_entry_t * pmap_kernel_pte(vaddr_t);
return pmap_kernel_pte(va);
return pmap_kernel_pte(va);
for (ptep = pmap_kernel_pte(sva); sva < eva;
pt_entry_t * const ptep = pmap_kernel_pte(va);
for (ptep = pmap_kernel_pte(va); size != 0;
pt_entry_t * const dst_ptep = pmap_kernel_pte(pmap_tmpmap_dstva);
pt_entry_t * const src_ptep = pmap_kernel_pte(pmap_tmpmap_srcva);
pt_entry_t * const dst_ptep = pmap_kernel_pte(pmap_tmpmap_dstva);
pmap_kenter_pa((vaddr_t)pmap_kernel_pte(va),
pt_entry_t *pte = pmap_kernel_pte(pgva);
pt_entry_t *ptep = pmap_kernel_pte(va);