2020-05-10 20:09:31 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2007-07-12 18:35:42 +02:00
|
|
|
|
2008-03-01 20:06:32 +01:00
|
|
|
#ifndef LAYOUT_FILE_H
|
|
|
|
#define LAYOUT_FILE_H
|
2007-07-12 18:35:42 +02:00
|
|
|
|
|
|
|
#include "common.h"
|
2008-01-18 17:17:44 +01:00
|
|
|
#include "coreboot_tables.h"
|
2007-07-12 18:35:42 +02:00
|
|
|
|
2010-01-13 22:00:23 +01:00
|
|
|
void set_layout_filename(const char filename[]);
|
|
|
|
void get_layout_from_file(void);
|
|
|
|
void write_cmos_layout(FILE * f);
|
2012-04-14 11:55:13 +02:00
|
|
|
void write_cmos_output_bin(const char *binary_filename);
|
|
|
|
void write_cmos_layout_header(const char *header_filename);
|
|
|
|
extern int is_ident(char *str);
|
2007-07-12 18:35:42 +02:00
|
|
|
|
2010-01-13 22:00:23 +01:00
|
|
|
#endif /* LAYOUT_FILE_H */
|