Symbol: vtd_wbflush
sys/amd64/vmm/intel/vtd.c
268
vtd_wbflush(vtdmap);
sys/amd64/vmm/intel/vtd.c
407
vtd_wbflush(vtdmap);