AMDIOMMU_CMDBUF_HEAD
head = amdiommu_read8(unit, AMDIOMMU_CMDBUF_HEAD);
cmd_head = amdiommu_read4(unit, AMDIOMMU_CMDBUF_HEAD);