rename linuxbios_* files, too.
[coreboot.git] / util / lbtdump / lbtdump.c
index 94288c4bfa14d7b8a02c632316fb4b634b59535b..235aa21f1571307f9b5b763f62d0f8c53383b627 100644 (file)
@@ -7,7 +7,7 @@
 #include <string.h>
 #include <errno.h>
 #include <sys/mman.h>
-#include "../../src/include/boot/linuxbios_tables.h"
+#include "../../src/include/boot/coreboot_tables.h"
 
 void print_lb_records(struct lb_record *rec, struct lb_record *last, unsigned long addr);