2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <asm/tables.h>
10 u8 table_compute_checksum(void *v, int len)
16 for (i = 0; i < len; i++)
22 void write_tables(void)
24 u32 __maybe_unused rom_table_end = ROM_TABLE_ADDR;
26 #if CONFIG_GENERATE_PIRQ_TABLE
27 rom_table_end = write_pirq_routing_table(rom_table_end);
28 rom_table_end = ALIGN(rom_table_end, 1024);