From 26a2fe4f002631ea93527b6e998958e5167f5963 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Tue, 19 Nov 2024 07:48:26 -0600
Subject: [PATCH] Fix iohgatp mode check

---
 iommu_ref_model/libiommu/src/iommu_device_context.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/iommu_ref_model/libiommu/src/iommu_device_context.c b/iommu_ref_model/libiommu/src/iommu_device_context.c
index 27b1f0c0..782dadc7 100644
--- a/iommu_ref_model/libiommu/src/iommu_device_context.c
+++ b/iommu_ref_model/libiommu/src/iommu_device_context.c
@@ -277,14 +277,14 @@ do_device_context_configuration_checks(
     }
     //13. `DC.iohgatp.MODE` encoding is not a valid encoding as determined
     //    by <<IOHGATP_MODE_ENC>>
-    if ( (DC->tc.PDTV == 0) && (g_reg_file.fctl.gxl == 0) &&
+    if ( (g_reg_file.fctl.gxl == 0) &&
          (DC->iohgatp.MODE != IOHGATP_Bare) &&
          (DC->iohgatp.MODE != IOHGATP_Sv39x4) &&
          (DC->iohgatp.MODE != IOHGATP_Sv48x4) &&
          (DC->iohgatp.MODE != IOHGATP_Sv57x4) ) {
         return 1;
     }
-    if ( (DC->tc.PDTV == 0) && (g_reg_file.fctl.gxl == 1) &&
+    if ( (g_reg_file.fctl.gxl == 1) &&
          (DC->iohgatp.MODE != IOHGATP_Bare) &&
          (DC->iohgatp.MODE != IOHGATP_Sv32x4) ) {
         return 1;