Symbol: EVT_HEAD_REG
sys/dev/acpi/acpidmar.c
2851
head = iommu_read_4(iommu, EVT_HEAD_REG);
sys/dev/acpi/acpidmar.c
2862
iommu_write_4(iommu, EVT_HEAD_REG, head);
sys/dev/acpi/acpidmar.c
3083
iommu_read_8(iommu, EVT_HEAD_REG),
sys/dev/acpi/acpidmar.c
3224
iommu_write_4(iommu, EVT_HEAD_REG, 0x00);