PVOP_VCALL0(cpu.wbinvd);
 }
 
+#ifdef CONFIG_PARAVIRT_XXL
 #define get_kernel_rpl()  (pv_info.kernel_rpl)
+#endif
 
 static inline u64 paravirt_read_msr(unsigned msr)
 {
 
 
 /* general info */
 struct pv_info {
+#ifdef CONFIG_PARAVIRT_XXL
        unsigned int kernel_rpl;
        int shared_kernel_pmd;
 
 #ifdef CONFIG_X86_64
        u16 extra_user_64bit_cs;  /* __USER_CS if none */
+#endif
 #endif
 
        const char *name;
 
 } pte_t;
 #endif /* !__ASSEMBLY__ */
 
-#ifdef CONFIG_PARAVIRT
+#ifdef CONFIG_PARAVIRT_XXL
 #define SHARED_KERNEL_PMD      ((!static_cpu_has(X86_FEATURE_PTI) &&   \
                                 (pv_info.shared_kernel_pmd)))
 #else
 
 static inline bool user_64bit_mode(struct pt_regs *regs)
 {
 #ifdef CONFIG_X86_64
-#ifndef CONFIG_PARAVIRT
+#ifndef CONFIG_PARAVIRT_XXL
        /*
         * On non-paravirt systems, this is the only long mode CPL 3
         * selector.  We do not allow long mode selectors in the LDT.
 
 
 #endif
 
-#ifndef CONFIG_PARAVIRT
+#ifndef CONFIG_PARAVIRT_XXL
 # define get_kernel_rpl()              0
 #endif
 
 
 
 struct pv_info pv_info = {
        .name = "bare hardware",
+#ifdef CONFIG_PARAVIRT_XXL
        .kernel_rpl = 0,
        .shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */
 
 #ifdef CONFIG_X86_64
        .extra_user_64bit_cs = __USER_CS,
 #endif
+#endif
 };
 
 #if defined(CONFIG_X86_32) && !defined(CONFIG_X86_PAE)