Symbol: pmap_inval_pte_quick
sys/platform/vkernel64/include/pmap_inval.h
51
void pmap_inval_pte_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
sys/platform/vkernel64/platform/pmap.c
806
pmap_inval_pte_quick(ptep, kernel_pmap, va);