AMDIOMMU_CMDBUF_BASE
amdiommu_write8(unit, AMDIOMMU_CMDBUF_BASE, rv);
(uintmax_t)amdiommu_read8(unit, AMDIOMMU_CMDBUF_BASE),