diff options
Diffstat (limited to 'xen/arch/x86/x86_32/mm.c')
| -rw-r--r-- | xen/arch/x86/x86_32/mm.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/xen/arch/x86/x86_32/mm.c b/xen/arch/x86/x86_32/mm.c index 868140e586..dc2450201a 100644 --- a/xen/arch/x86/x86_32/mm.c +++ b/xen/arch/x86/x86_32/mm.c @@ -75,8 +75,7 @@ void __init paging_init(void) printk("PAE disabled.\n"); #endif - idle_vcpu[0]->arch.monitor_table = - pagetable_from_paddr(__pa(idle_pg_table)); + idle_vcpu[0]->arch.cr3 = __pa(idle_pg_table); if ( cpu_has_pge ) { |