Symbol: amdiommu_read4
sys/x86/iommu/amd_drv.c
1144
cmd_head = amdiommu_read4(unit, AMDIOMMU_CMDBUF_HEAD);
sys/x86/iommu/amd_drv.c
1145
cmd_tail = amdiommu_read4(unit, AMDIOMMU_CMDBUF_TAIL);