src/include/boot/tables.h

   1 #ifndef BOOT_TABLES_H
   2 #define BOOT_TABLES_H
   3
   4 #include <boot/coreboot_tables.h>
   5 #include <arch/coreboot_tables.h>
   6
   7 void lb_add_memory_range(struct lb_memory *mem,
   8         uint32_t type, uint64_t start, uint64_t size);
   9
  10 struct lb_memory *write_tables(void);
  11
  12 #endif /* BOOT_TABLES_H */