AMD_IOMMU_PTDE_IR

1017

R = AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_IR);

1021

AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 1);

1040

AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 0);

1044

AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 1);

1047

AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 1);

1054

AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 1);

984

AMD_IOMMU_REG_SET64(pdep, AMD_IOMMU_PTDE_IR, 1);