Symbol: pmap_inval_pde
sys/platform/vkernel64/include/pmap_inval.h
52
void pmap_inval_pde(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
sys/platform/vkernel64/platform/pmap.c
1998
pmap_inval_pde(pde, pmap, sva);
sys/platform/vkernel64/platform/pmap_inval.c
145
pmap_inval_pde(ptep, pmap, va);