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));