Symbol: pmap_inval_pte
sys/platform/vkernel64/include/pmap_inval.h
50
void pmap_inval_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
sys/platform/vkernel64/platform/pmap.c
778
pmap_inval_pte(ptep, kernel_pmap, va);
sys/platform/vkernel64/platform/pmap.c
781
pmap_inval_pte(ptep, kernel_pmap, va);
sys/platform/vkernel64/platform/pmap.c
812
pmap_inval_pte(pte, kernel_pmap, va);
sys/platform/vkernel64/platform/pmap.c
856
pmap_inval_pte(ptep, kernel_pmap, va);
sys/platform/vkernel64/platform/pmap.c
876
pmap_inval_pte(ptep, kernel_pmap, va); /* NOT _quick */