2003-04-22 21:02:15 +02:00
|
|
|
#ifndef BOOT_TABLES_H
|
|
|
|
#define BOOT_TABLES_H
|
|
|
|
|
2008-01-18 17:16:45 +01:00
|
|
|
#include <boot/coreboot_tables.h>
|
2003-04-22 21:02:15 +02:00
|
|
|
|
2014-02-19 02:36:05 +01:00
|
|
|
void write_tables(void);
|
2003-04-22 21:02:15 +02:00
|
|
|
|
|
|
|
#endif /* BOOT_TABLES_H */
|