vpte_t
vpte_t *ptep0 = NULL;
vpte_t oldmap0 = 0;
vpte_t *ptep1 = NULL;
vpte_t oldmap1 = 0;
vpte_t *pmap_kpte(vm_offset_t va);
extern vpte_t *KernelPTA; /* NOTE: Offset for direct VA translation */
extern vpte_t *KernelPTD;
vpte_t pm_pdirpte; /* pte mapping phys page */
void pmap_inval_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
void pmap_inval_pte_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
void pmap_inval_pde(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
void pmap_inval_pde_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
vpte_t pmap_clean_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va,
vpte_t pmap_clean_pde(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
vpte_t pmap_inval_loadandclear(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
vpte_t *KernelPTD;
vpte_t *KernelPTA; /* Warning: Offset for direct VA translation */
vpte_t vpte;
vpte_t *ptep;
npte = (vpte_t)pa | VPTE_RW | VPTE_V | VPTE_U;
npte = (vpte_t)pa | VPTE_RW | VPTE_V | VPTE_U;
pmap_inval_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va)
pmap_inval_pte_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va)
pmap_inval_pde(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va)
pmap_inval_pde_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va)
vpte_t
pmap_clean_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va,
vpte_t pte;
vpte_t
pmap_inval_loadandclear(volatile vpte_t *ptep, struct pmap *pmap,
vpte_t pte;
vpte_t *ptep0 = NULL;
vpte_t oldmap0 = 0;
vpte_t *ptep1 = NULL;
vpte_t oldmap1 = 0;
gd->gd_PADDR1 = (vpte_t *)ps->PPAGE1;
#define VPTE_PAGE_ENTRIES (PAGE_SIZE / sizeof(vpte_t))
vpte_t vpte, int fault_type, int allow_nofault)
vpte_t *ptep;
ptep = ((vpte_t *)lwbuf_kva(lwb) +
vpte_t nvpte;
vpte_t, int, int);
vpte_t master_pde; /* virtual page table root */