Symbol: VTD_GSR_TES
sys/amd64/vmm/intel/vtd.c
288
while ((vtdmap->gsr & VTD_GSR_TES) == 0)
sys/amd64/vmm/intel/vtd.c
297
while ((vtdmap->gsr & VTD_GSR_TES) != 0)