Symbol: amdvi_set_dte
sys/amd64/vmm/amd/amdvi_hw.c
1280
amdvi_set_dte(domain, softc, devid, true);
sys/amd64/vmm/amd/amdvi_hw.c
1299
amdvi_set_dte(domain, softc, devid, false);