diff --git a/xen/include/asm-x86/shadow.h b/xen/include/asm-x86/shadow.h
index 122f1dff63..de1bae1108 100644
--- a/xen/include/asm-x86/shadow.h
+++ b/xen/include/asm-x86/shadow.h
@@ -163,6 +163,8 @@ static inline bool is_l1tf_safe_maddr(intpte_t pte)
     return maddr == 0 || maddr >= l1tf_safe_maddr;
 }
 
+#ifdef CONFIG_PV
+
 static inline bool pv_l1tf_check_pte(struct domain *d, unsigned int level,
                                      intpte_t pte)
 {
@@ -240,6 +242,8 @@ static inline void pv_l1tf_domain_destroy(struct domain *d)
 #endif
 }
 
+#endif /* CONFIG_PV */
+
 /* Remove all shadows of the guest mfn. */
 static inline void shadow_remove_all_shadows(struct domain *d, mfn_t gmfn)
 {