Symbol: pmap_invalidate_cache_range
sys/platform/pc64/include/pmap.h
382
void pmap_invalidate_cache_range(vm_offset_t sva, vm_offset_t eva);
sys/platform/pc64/x86_64/pmap.c
6217
pmap_invalidate_cache_range(va, va + size);
sys/platform/pc64/x86_64/pmap.c
6306
pmap_invalidate_cache_range(base, va);