diff --git a/include/dev/gpio_keypad.h b/include/dev/gpio_keypad.h
index 04093cc..4ab1449 100644
--- a/include/dev/gpio_keypad.h
+++ b/include/dev/gpio_keypad.h
@@ -210,6 +210,8 @@
 	int		inv_int_pol;	/* invert interrupt polarity */
 };
 
+bool pm8058_gpio_get(unsigned int gpio);
+
 typedef int (*read_func)(unsigned char *, unsigned short, unsigned short);
 typedef int (*write_func)(unsigned char *, unsigned short, unsigned short);
 
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
diff --git a/include/platform/timer.h b/include/platform/timer.h
index 2a6e617..f2085c0 100644
--- a/include/platform/timer.h
+++ b/include/platform/timer.h
@@ -27,5 +27,9 @@
 
 status_t platform_set_periodic_timer(platform_timer_callback callback, void *arg, time_t interval);
 
+void mdelay(unsigned msecs);
+void udelay(unsigned usecs);
+
+
 #endif
 
diff --git a/include/target.h b/include/target.h
index c140d9d..b6e56bd 100644
--- a/include/target.h
+++ b/include/target.h
@@ -38,4 +38,15 @@
 /* if target is using eMMC bootup */
 int target_is_emmc_boot(void);
 
+unsigned* target_atag_mem(unsigned* ptr);
+void *target_get_scratch_address(void);
+unsigned target_get_max_flash_size(void);
+int target_is_emmc_boot(void);
+void target_battery_charging_enable(unsigned enable, unsigned disconnect);
+unsigned target_pause_for_battery_charge(void);
+unsigned target_baseband(void);
+void target_serialno(unsigned char *buf);
+void target_fastboot_init(void);
+
+
 #endif