AMD_IOMMU_DEVTBL_V

417

AMD_IOMMU_REG_SET64(dentry, AMD_IOMMU_DEVTBL_V, 1);

335

if (AMD_IOMMU_REG_GET64(&(devtbl_entry[0]), AMD_IOMMU_DEVTBL_V) == 0 &&

340

if (AMD_IOMMU_REG_GET64(&(devtbl_entry[0]), AMD_IOMMU_DEVTBL_V) == 1 &&

374

AMD_IOMMU_REG_SET64(&(entry[0]), AMD_IOMMU_DEVTBL_V,

449

V = AMD_IOMMU_REG_GET64(&(devtbl_entry[0]), AMD_IOMMU_DEVTBL_V);

467

AMD_IOMMU_REG_SET64(&(devtbl_entry[0]), AMD_IOMMU_DEVTBL_V, 0);

603

AMD_IOMMU_REG_SET64(&(devtbl_entry[0]), AMD_IOMMU_DEVTBL_V, 1);