2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/tables.h>
11 u8 table_compute_checksum(void *v, int len)
17 for (i = 0; i < len; i++)
23 void write_tables(void)
25 u32 __maybe_unused rom_table_end = ROM_TABLE_ADDR;
27 #ifdef CONFIG_GENERATE_PIRQ_TABLE
28 rom_table_end = write_pirq_routing_table(rom_table_end);
29 rom_table_end = ALIGN(rom_table_end, 1024);
31 #ifdef CONFIG_GENERATE_SFI_TABLE
32 rom_table_end = write_sfi_table(rom_table_end);
33 rom_table_end = ALIGN(rom_table_end, 1024);