Re: PAE xen + linux kernel boots ...

[Gerd Knorr <kraxel@bytesex.org>]

> +#if defined(__i386__) && defined(CONFIG_X86_PAE)
> +    l3_pgentry_t *pl3e;
> +    l2_pgentry_t *pl2e;
> +    l1_pgentry_t *pl1e;
> +        
> +    pl3e = &idle_pg_table[l3_table_offset(addr)];
> +    printk(" L3 = 0x%016llx\n", l3e_get_value(*pl3e));

Well, that isn't needed.

>      page = l2e_get_value(idle_pg_table[l2_table_offset(addr)]);

Just make that "idle_pg_table_l2[l2_linear_offset(addr)]" should work
ok.  The idle_pg tables are contignous in physical (and virtual) memory,
so you basically don't have to care about the idle_pg_table_l3 at all
and can simply use idle_pg_table_l2 directly.

  Gerd

-- 
#define printk(args...) fprintf(stderr, ## args)