Clean up warnings in lk code
Change-Id: I05b3a6cf07cde7e60586b1816c2f1279f64f5cf4
diff --git a/include/platform.h b/include/platform.h
index 5f7e303..cff84c3 100644
--- a/include/platform.h
+++ b/include/platform.h
@@ -35,4 +35,14 @@
/* called by the arch init code to get the platform to set up any mmu mappings it may need */
void platform_init_mmu_mappings(void);
+void display_init(void);
+void display_shutdown(void);
+void display_image_on_screen(void);
+
+unsigned board_machtype(void);
+unsigned check_reboot_mode(void);
+void platform_uninit_timer(void);
+void reboot_device(unsigned);
+
+
#endif