|
@@ -1467,8 +1467,6 @@ static void __init xen_write_cr3_init(unsigned long cr3)
|
|
|
__xen_write_cr3(true, cr3);
|
|
|
|
|
|
xen_mc_issue(PARAVIRT_LAZY_CPU); /* interrupts restored */
|
|
|
-
|
|
|
- pv_mmu_ops.write_cr3 = &xen_write_cr3;
|
|
|
}
|
|
|
#endif
|
|
|
|
|
@@ -2122,6 +2120,7 @@ static void __init xen_post_allocator_init(void)
|
|
|
#endif
|
|
|
|
|
|
#ifdef CONFIG_X86_64
|
|
|
+ pv_mmu_ops.write_cr3 = &xen_write_cr3;
|
|
|
SetPagePinned(virt_to_page(level3_user_vsyscall));
|
|
|
#endif
|
|
|
xen_mark_init_mm_pinned();
|