ia64/xen-unstable

changeset 8705:690fc13948db

Fix 64b build.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Mon Jan 30 13:35:43 2006 +0100 (2006-01-30)
parents 085fa65de809
children fd9b2c1bb577
files linux-2.6-xen-sparse/arch/xen/x86_64/mm/init.c
line diff
     1.1 --- a/linux-2.6-xen-sparse/arch/xen/x86_64/mm/init.c	Mon Jan 30 13:33:43 2006 +0100
     1.2 +++ b/linux-2.6-xen-sparse/arch/xen/x86_64/mm/init.c	Mon Jan 30 13:35:43 2006 +0100
     1.3 @@ -519,13 +519,13 @@ void __init xen_init_pt(void)
     1.4  	early_make_page_readonly(init_level4_pgt,
     1.5  				 XENFEAT_writable_page_tables);
     1.6  	early_make_page_readonly(init_level4_user_pgt,
     1.7 -				 XENFEAT_writable_page_tables));
     1.8 +				 XENFEAT_writable_page_tables);
     1.9  	early_make_page_readonly(level3_kernel_pgt,
    1.10 -				 XENFEAT_writable_page_tables));
    1.11 +				 XENFEAT_writable_page_tables);
    1.12  	early_make_page_readonly(level3_user_pgt,
    1.13 -				 XENFEAT_writable_page_tables));
    1.14 +				 XENFEAT_writable_page_tables);
    1.15  	early_make_page_readonly(level2_kernel_pgt,
    1.16 -				 XENFEAT_writable_page_tables));
    1.17 +				 XENFEAT_writable_page_tables);
    1.18  
    1.19  	xen_pgd_pin(__pa_symbol(init_level4_pgt));
    1.20  	xen_pgd_pin(__pa_symbol(init_level4_user_pgt));