|
@@ -293,12 +293,14 @@ enum paravirt_lazy_mode paravirt_get_lazy_mode(void)
|
|
|
|
|
|
struct pv_info pv_info = {
|
|
struct pv_info pv_info = {
|
|
.name = "bare hardware",
|
|
.name = "bare hardware",
|
|
|
|
+#ifdef CONFIG_PARAVIRT_XXL
|
|
.kernel_rpl = 0,
|
|
.kernel_rpl = 0,
|
|
.shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */
|
|
.shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */
|
|
|
|
|
|
#ifdef CONFIG_X86_64
|
|
#ifdef CONFIG_X86_64
|
|
.extra_user_64bit_cs = __USER_CS,
|
|
.extra_user_64bit_cs = __USER_CS,
|
|
#endif
|
|
#endif
|
|
|
|
+#endif
|
|
};
|
|
};
|
|
|
|
|
|
#if defined(CONFIG_X86_32) && !defined(CONFIG_X86_PAE)
|
|
#if defined(CONFIG_X86_32) && !defined(CONFIG_X86_PAE)
|