|
@@ -404,9 +404,7 @@ int acpi_ghes_record_errors(uint8_t source_id, uint64_t physical_address)
|
|
|
return -1;
|
|
|
}
|
|
|
|
|
|
- if (source_id < ACPI_GHES_ERROR_SOURCE_COUNT) {
|
|
|
- start_addr += source_id * sizeof(uint64_t);
|
|
|
- }
|
|
|
+ start_addr += source_id * sizeof(uint64_t);
|
|
|
|
|
|
cpu_physical_memory_read(start_addr, &error_block_addr,
|
|
|
sizeof(error_block_addr));
|