diff options
Diffstat (limited to 'xen/arch/x86/x86_32/mm.c')
| -rw-r--r-- | xen/arch/x86/x86_32/mm.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/xen/arch/x86/x86_32/mm.c b/xen/arch/x86/x86_32/mm.c index 8a0054bbcd..7d1e810a0b 100644 --- a/xen/arch/x86/x86_32/mm.c +++ b/xen/arch/x86/x86_32/mm.c @@ -30,13 +30,8 @@ #include <asm/fixmap.h> #include <public/memory.h> -#ifdef CONFIG_X86_PAE l2_pgentry_t __attribute__ ((__section__ (".bss.page_aligned"))) idle_pg_table_l2[4 * L2_PAGETABLE_ENTRIES]; -#else -l2_pgentry_t __attribute__ ((__section__ (".bss.page_aligned"))) - idle_pg_table_l2[L2_PAGETABLE_ENTRIES]; -#endif extern l1_pgentry_t l1_identmap[L1_PAGETABLE_ENTRIES]; @@ -74,12 +69,6 @@ void __init paging_init(void) struct page_info *pg; int i; -#ifdef CONFIG_X86_PAE - printk("PAE enabled, limit: %d GB\n", MACHPHYS_MBYTES); -#else - printk("PAE disabled.\n"); -#endif - if ( cpu_has_pge ) { /* Suitable Xen mapping can be GLOBAL. */ |