+ u32 rom_table_start = ROM_TABLE_ADDR;
+ u32 rom_table_end;
+#ifdef CONFIG_SEABIOS
+ u32 high_table, table_size;
+ struct memory_area cfg_tables[ARRAY_SIZE(table_write_funcs) + 1];
+#endif
+ int i;
+
+ for (i = 0; i < ARRAY_SIZE(table_write_funcs); i++) {
+ rom_table_end = table_write_funcs[i](rom_table_start);
+ rom_table_end = ALIGN(rom_table_end, ROM_TABLE_ALIGN);
+
+#ifdef CONFIG_SEABIOS
+ table_size = rom_table_end - rom_table_start;
+ high_table = (u32)memalign(ROM_TABLE_ALIGN, table_size);
+ if (high_table) {
+ memset((void *)high_table, 0, table_size);
+ table_write_funcs[i](high_table);
+
+ cfg_tables[i].start = high_table;
+ cfg_tables[i].size = table_size;
+ } else {
+ printf("%d: no memory for configuration tables\n", i);
+ }
+#endif
+
+ rom_table_start = rom_table_end;
+ }