|
@@ -347,14 +347,12 @@ void __init efi_init(void)
|
|
|
printk(KERN_ERR PFX "Woah! Couldn't map the EFI system table.\n");
|
|
|
if (efi.systab->hdr.signature != EFI_SYSTEM_TABLE_SIGNATURE)
|
|
|
printk(KERN_ERR PFX "Woah! EFI system table signature incorrect\n");
|
|
|
- if ((efi.systab->hdr.revision ^ EFI_SYSTEM_TABLE_REVISION) >> 16 != 0)
|
|
|
- printk(KERN_ERR PFX
|
|
|
- "Warning: EFI system table major version mismatch: "
|
|
|
- "got %d.%02d, expected %d.%02d\n",
|
|
|
+ if ((efi.systab->hdr.revision >> 16) == 0)
|
|
|
+ printk(KERN_ERR PFX "Warning: EFI system table version "
|
|
|
+ "%d.%02d, expected 1.00 or greater\n",
|
|
|
efi.systab->hdr.revision >> 16,
|
|
|
- efi.systab->hdr.revision & 0xffff,
|
|
|
- EFI_SYSTEM_TABLE_REVISION >> 16,
|
|
|
- EFI_SYSTEM_TABLE_REVISION & 0xffff);
|
|
|
+ efi.systab->hdr.revision & 0xffff);
|
|
|
+
|
|
|
/*
|
|
|
* Grab some details from the system table
|
|
|
*/
|