Symbol: invalidate_cache_all
usr/src/uts/intel/io/vmm/intel/vtd.c
266
invalidate_cache_all();
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
111
void invalidate_cache_all(void);