[LinuxBIOS] [linux-usb-devel] [RFC][PATCH 0/2] x86_64 Early usb debug port support.

[Yinghai Lu]

On 12/12/06, Eric W. Biederman <ebiederm at xmission.com> wrote:
> diff --git a/arch/x86_64/kernel/head.S b/arch/x86_64/kernel/head.S
> index 1e6f808..2f65469 100644
> --- a/arch/x86_64/kernel/head.S
> +++ b/arch/x86_64/kernel/head.S
> @@ -328,9 +328,9 @@ ENTRY(wakeup_level4_pgt)
>         .align PAGE_SIZE
>  ENTRY(boot_level4_pgt)
>         .quad   phys_level3_ident_pgt | 0x007
> -       .fill   255,8,0
> +       .fill   257,8,0
>         .quad   phys_level3_physmem_pgt | 0x007
> -       .fill   254,8,0
> +       .fill   252,8,0
>         /* (2^48-(2*1024*1024*1024))/(2^39) = 511 */
>         .quad   phys_level3_kernel_pgt | 0x007
>

Good, it seems __PAGE_OFFSET used to be 0xfff800000000000
and then 1<<40, and then 0xfff810000000000

YH