x86: remove unneded casts
[linux-2.6] / arch / x86 / kernel / efi.c
2008-01-30  Huang, Yingx86: 32-bit EFI runtime service support: fixes in sync...
2008-01-30  Huang, Yingx86: EFI runtime service support