Symbol: VTD_LEVEL0
sys/dev/acpi/acpidmar.c
3755
if(lvl == VTD_LEVEL0) {
sys/dev/acpi/acpidmar.c
542
for (lvl = iommu->agaw - VTD_STRIDE_SIZE; lvl>= VTD_LEVEL0;
sys/dev/acpi/acpidmar.c
547
if (lvl == VTD_LEVEL0) {