Re: [Xen-devel] x86_64 platform : addresses type

[Keir Fraser <Keir.Fraser@xxxxxxxxxxxx>]

>  However, on x86_64 using gcc, addresses as well as unsigned long are 
> 64 bits long.
>  It seems that luckily mmap_addr is below 2*32-1, making the u32 type 
> acceptable
>  so far (for instance in function __start_xen, where the memory map is 
> turned into
>  another structure) but what would it cost to change it into u64 ?
>  After all, the multiboot specification (page 18) has 'unsigned long' 
> instead of u32 here.
That info will never be placed above 4GB, or the info would not be 
available to non-pae non-x86/64 OSes.
 -- Keir


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel