src/include/boot/tables.h

#ifndef BOOT_TABLES_H
#define BOOT_TABLES_H

#include <boot/coreboot_tables.h>
#include <arch/coreboot_tables.h>

struct lb_memory *write_tables(void);

#endif /* BOOT_TABLES_H */