Re: [PATCH 0/3] x86_64 EFI runtime service support

H. Peter Anvin
2007-08-16T16:10:04Z

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...

-hpa