Symbol: IVHD_IOTLB
sys/dev/acpi/acpidmar.c
3294
if (ext->flags & IVHD_IOTLB)
sys/dev/acpi/acpidmar.c
3321
if (ivhd->flags & IVHD_IOTLB)