1 /* 2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com> 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #include <common.h> 8 #include <asm/sfi.h> 9 #include <asm/tables.h> 10 11 u8 table_compute_checksum(void *v, int len) 12 { 13 u8 *bytes = v; 14 u8 checksum = 0; 15 int i; 16 17 for (i = 0; i < len; i++) 18 checksum -= bytes[i]; 19 20 return checksum; 21 } 22 23 void write_tables(void) 24 { 25 u32 __maybe_unused rom_table_end = ROM_TABLE_ADDR; 26 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); 30 #endif 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); 34 #endif 35 } 36