AMD_IOMMU_PTDE_PR
if (AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_PR) == 1) {
AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_PR, 1);
ASSERT(AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_PR) == 1);
if (AMD_IOMMU_REG_GET64(ptdep, AMD_IOMMU_PTDE_PR) == 1) {
AMD_IOMMU_REG_SET64(ptdep, AMD_IOMMU_PTDE_PR, 0);
AMD_IOMMU_PTDE_PR) == 0);
if (AMD_IOMMU_REG_GET64(pdtep, AMD_IOMMU_PTDE_PR) == 0) {
AMD_IOMMU_PTDE_PR) == 0);
AMD_IOMMU_PTDE_PR) == 0);
if (AMD_IOMMU_REG_GET64(pdep, AMD_IOMMU_PTDE_PR) == 1) {
AMD_IOMMU_REG_SET64(pdep, AMD_IOMMU_PTDE_PR, 1);
ASSERT(AMD_IOMMU_REG_GET64(pdep, AMD_IOMMU_PTDE_PR) == 1);