Symbol: amdvi_set_dte
usr/src/uts/intel/io/vmm/amd/amdvi_hw.c
1283
amdvi_set_dte(domain, softc, devid, true);
usr/src/uts/intel/io/vmm/amd/amdvi_hw.c
1301
amdvi_set_dte(domain, softc, devid, false);