4 files changed, 10 insertions, 0 deletions
diff --git a/src/include/cbmem.h b/src/include/cbmem.h
index 5048a5d1ff..d814a7285a 100644
--- a/src/include/cbmem.h
+++ b/src/include/cbmem.h
@@ -45,5 +45,7 @@ void cbmem_init(u64 baseaddr, u64 size);
 int cbmem_reinit(u64 baseaddr);
 void *cbmem_add(u32 id, u64 size);
 void *cbmem_find(u32 id);
+void cbmem_list(void);
+void cbmem_arch_init(void);
 
 #endif
diff --git a/src/include/cpu/x86/mtrr.h b/src/include/cpu/x86/mtrr.h
index 51c0b511c7..704a9d4bb1 100644
--- a/src/include/cpu/x86/mtrr.h
+++ b/src/include/cpu/x86/mtrr.h
@@ -34,10 +34,14 @@
 
 #if !defined(__ROMCC__) && !defined (ASSEMBLY)
 
+#include <device/device.h>
 
+void enable_fixed_mtrr(void);
 void x86_setup_var_mtrrs(unsigned address_bits);
 void x86_setup_mtrrs(unsigned address_bits);
 int x86_mtrr_check(void);
+void set_var_mtrr_resource(void *gp, struct device *dev, struct resource *res);
+void x86_setup_fixed_mtrrs(void);
 
 #endif /* __ROMCC__ */
 
diff --git a/src/include/cpu/x86/tsc.h b/src/include/cpu/x86/tsc.h
index 96afaa6e7d..455cd239fe 100644
--- a/src/include/cpu/x86/tsc.h
+++ b/src/include/cpu/x86/tsc.h
@@ -24,6 +24,8 @@ static inline unsigned long long rdtscll(void)
 	asm volatile ("rdtsc" : "=A" (val));
 	return val;
 }
+
+void init_timer(void);
 #endif
 
 
diff --git a/src/include/device/device.h b/src/include/device/device.h
index 5e0e19a2e5..eba6eb50c6 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -132,6 +132,7 @@ void print_resource_tree(struct device * root, int debug_level,
 void show_devs_tree(struct device *dev, int debug_level, int depth, int linknum);
 void show_devs_subtree(struct device *root, int debug_level, const char *msg);
 void show_all_devs(int debug_level, const char *msg);
+void show_all_devs_tree(int debug_level, const char *msg);
 void show_one_resource(int debug_level, struct device *dev,
 		       struct resource *resource, const char *comment);
 void show_all_devs_resources(int debug_level, const char* msg);
@@ -152,4 +153,5 @@ void enable_childrens_resources(device_t dev);
 void root_dev_enable_resources(device_t dev);
 unsigned int root_dev_scan_bus(device_t root, unsigned int max);
 void root_dev_init(device_t dev);
+void root_dev_reset(struct bus *bus);
 #endif /* DEVICE_H */