diff --git a/tools/libxc/xc_dom_x86.c b/tools/libxc/xc_dom_x86.c
index 7279fa2..d529518 100644
--- a/tools/libxc/xc_dom_x86.c
+++ b/tools/libxc/xc_dom_x86.c
@@ -380,7 +380,7 @@ static x86_pgentry_t get_pg_prot_x86(struct xc_dom_image *dom, int l,
         map = domx86->maps + m;
         pfn_s = map->lvls[domx86->params->levels - 1].pfn;
         pfn_e = map->area.pgtables + pfn_s;
-        if ( pfn >= pfn_s && pfn < pfn_e )
+        if ( !dom->pvh_enabled && pfn >= pfn_s && pfn < pfn_e )
             return prot & ~_PAGE_RW;
     }