Symbol: EVT_TAIL_REG
sys/dev/acpi/acpidmar.c
2852
tail = iommu_read_4(iommu, EVT_TAIL_REG);
sys/dev/acpi/acpidmar.c
3084
iommu_read_8(iommu, EVT_TAIL_REG));
sys/dev/acpi/acpidmar.c
3225
iommu_write_4(iommu, EVT_TAIL_REG, 0x00);