Symbol: vtd_wbflush
usr/src/uts/intel/io/vmm/intel/vtd.c
290
vtd_wbflush(vtdmap);
usr/src/uts/intel/io/vmm/intel/vtd.c
568
vtd_wbflush(vtdmap);