[lkml]   [2007]   [Aug]   [16]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [PATCH 0/3] x86_64 EFI runtime service support
Huang, Ying wrote:
> One question:
> The boot_params.efi_info.efi_systab is defined as u32. But it should be
> u64 on x86_64, because it comes from firmware and is not controlled by
> bootloader. But, changing it from u32 to u64 will break current i386 EFI
> support, should we change it and fix the i386 EFI bootloader?

The other option is to have a union of a 32-bit and a 64-bit structure.
I personally don't care, as long as it's consistent, but I think you
need to deal with the people working on EFI currently about that...


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2007-08-16 18:13    [from the cache]
©2003-2014 Jasper Spaans. hosted at Digital Ocean