Symbol: CMD_HEAD_REG
sys/dev/acpi/acpidmar.c
2878
head = iommu_read_4(iommu, CMD_HEAD_REG);
sys/dev/acpi/acpidmar.c
3081
iommu_read_8(iommu, CMD_HEAD_REG),
sys/dev/acpi/acpidmar.c
3212
iommu_write_4(iommu, CMD_HEAD_REG, 0x00);