2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
11 * All x86 tables happen to like the address range from 0xf0000 to 0x100000.
12 * We use 0xf0000 as the starting address to store those tables, including
13 * PIRQ routing table, Multi-Processor table and ACPI table.
15 #define ROM_TABLE_ADDR 0xf0000
18 * table_compute_checksum() - Compute a table checksum
20 * This computes an 8-bit checksum for the configuration table.
21 * All bytes in the configuration table, including checksum itself and
22 * reserved bytes must add up to zero.
24 * @v: configuration table base address
25 * @len: configuration table size
26 * @return: the 8-bit checksum
28 u8 table_compute_checksum(void *v, int len);
31 * write_tables() - Write x86 configuration tables
33 * This writes x86 configuration tables, including PIRQ routing table,
34 * Multi-Processor table and ACPI table. Whether a specific type of
35 * configuration table is written is controlled by a Kconfig option.
37 void write_tables(void);
40 * write_pirq_routing_table() - Write PIRQ routing table
42 * This writes PIRQ routing table at a given address.
44 * @start: start address to write PIRQ routing table
45 * @return: end address of PIRQ routing table
47 u32 write_pirq_routing_table(u32 start);
49 #endif /* _X86_TABLES_H_ */