Fix 64b build.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 30 Jan 2006 12:35:43 +0000 (13:35 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 30 Jan 2006 12:35:43 +0000 (13:35 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
linux-2.6-xen-sparse/arch/xen/x86_64/mm/init.c

index 1ec641238c593649fd109415c70dfa40648ea711..305d550ccf1a5e2e4ecee65bda0cbfba8f732c54 100644 (file)
@@ -519,13 +519,13 @@ void __init xen_init_pt(void)
        early_make_page_readonly(init_level4_pgt,
                                 XENFEAT_writable_page_tables);
        early_make_page_readonly(init_level4_user_pgt,
-                                XENFEAT_writable_page_tables));
+                                XENFEAT_writable_page_tables);
        early_make_page_readonly(level3_kernel_pgt,
-                                XENFEAT_writable_page_tables));
+                                XENFEAT_writable_page_tables);
        early_make_page_readonly(level3_user_pgt,
-                                XENFEAT_writable_page_tables));
+                                XENFEAT_writable_page_tables);
        early_make_page_readonly(level2_kernel_pgt,
-                                XENFEAT_writable_page_tables));
+                                XENFEAT_writable_page_tables);
 
        xen_pgd_pin(__pa_symbol(init_level4_pgt));
        xen_pgd_pin(__pa_symbol(init_level4_user_pgt));