amd_iommu_read_log
(void) amd_iommu_read_log(iommu, AMD_IOMMU_LOG_DISPLAY);
(void) amd_iommu_read_log(iommu, AMD_IOMMU_LOG_DISCARD);
int amd_iommu_read_log(amd_iommu_t *iommu, amd_iommu_log_op_t op);