diff options
| -rw-r--r-- | src/arch/x86/tables.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/arch/x86/tables.c b/src/arch/x86/tables.c index 0a9a3d59b4..0bab4234c9 100644 --- a/src/arch/x86/tables.c +++ b/src/arch/x86/tables.c @@ -259,6 +259,9 @@ void arch_write_tables(uintptr_t coreboot_table) forwarding_table += sz; /* Align up to page boundary for historical consistency. */ forwarding_table = ALIGN_UP(forwarding_table, 4*KiB); + + /* Tell static analysis we know value is left unused. */ + (void)rom_table_end; } void bootmem_arch_add_ranges(void) |