| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #include <arch/symbols.h> |
| #include <console/console.h> |
| #include <fsp/util.h> |
| |
| /* filled in assembly after FSP-T ran */ |
| uintptr_t temp_memory_start; |
| uintptr_t temp_memory_end; |
| |
| void report_fsp_output(void) |
| { |
| const struct region fsp_car_region = { |
| .offset = temp_memory_start, |
| .size = temp_memory_end - temp_memory_start, |
| }; |
| const struct region coreboot_car_region = { |
| .offset = (uintptr_t)_car_region_start, |
| .size = (uintptr_t)_car_region_size, |
| }; |
| printk(BIOS_DEBUG, "FSP: reported temp_mem region: [0x%08lx,0x%08lx)\n", |
| temp_memory_start, temp_memory_end); |
| if (!region_is_subregion(&fsp_car_region, &coreboot_car_region)) { |
| printk(BIOS_ERR, "Wrong CAR region used!\n"); |
| printk(BIOS_ERR, "Adapt DCACHE_RAM_BASE and DCACHE_RAM_SIZE to match FSP-T\n"); |
| } |
| } |