| @@ -376,6 +376,7 @@ static int __init efi_systab_init(u64 phys) · 375 unmodified lines |
| 376 | systab64->con_out > U32_MAX || | 376 | systab64->con_out > U32_MAX || |
| 377 | systab64->stderr_handle > U32_MAX || | 377 | systab64->stderr_handle > U32_MAX || |
| 378 | systab64->stderr > U32_MAX || | 378 | systab64->stderr > U32_MAX || |
| | 379 | systab64->runtime > U32_MAX || |
| 379 | systab64->boottime > U32_MAX; | 380 | systab64->boottime > U32_MAX; |
| 380 | | 381 | |
| 381 | if (efi_setup) { | 382 | if (efi_setup) { |
| @@ -388,17 +389,14 @@ static int __init efi_systab_init(u64 phys) · 6 unmodified lines |
| 388 | } | 389 | } |
| 389 | | 390 | |
| 390 | efi_systab.fw_vendor = (unsigned long)data->fw_vendor; | 391 | efi_systab.fw_vendor = (unsigned long)data->fw_vendor; |
| 391 | efi_systab.runtime = (void *)(unsigned long)data->runtime; | | |
| 392 | efi_systab.tables = (unsigned long)data->tables; | 392 | efi_systab.tables = (unsigned long)data->tables; |
| 393 | | 393 | |
| 394 | over4g |= data->fw_vendor > U32_MAX || | 394 | over4g |= data->fw_vendor > U32_MAX || |
| 395 | data->runtime > U32_MAX || | | |
| 396 | data->tables > U32_MAX; | 395 | data->tables > U32_MAX; |
| 397 | | 396 | |
| 398 | early_memunmap(data, sizeof(*data)); | 397 | early_memunmap(data, sizeof(*data)); |
| 399 | } else { | 398 | } else { |
| 400 | over4g |= systab64->fw_vendor > U32_MAX || | 399 | over4g |= systab64->fw_vendor > U32_MAX || |
| 401 | systab64->runtime > U32_MAX || | | |
| 402 | systab64->tables > U32_MAX; | 400 | systab64->tables > U32_MAX; |
| 403 | } | 401 | } |
| 404 | } else { | 402 | } else { |