diff --git a/include/plat/apq8064/plat/machine/hardware.h b/include/plat/apq8064/plat/machine/hardware.h
index 9ece2b4dd..c4cfab5a7 100644
--- a/include/plat/apq8064/plat/machine/hardware.h
+++ b/include/plat/apq8064/plat/machine/hardware.h
@@ -65,9 +65,6 @@ p_region_t get_avail_p_reg(word_t i);
 int get_num_dev_p_regs(void);
 p_region_t get_dev_p_reg(word_t i);
 void map_kernel_devices(void);
-#ifdef ARM_HYP
-void map_hypervisor_devices(void);
-#endif /* ARM_HYP */
 
 bool_t CONST isReservedIRQ(irq_t irq);
 void handleReservedIRQ(irq_t irq);
diff --git a/include/plat/exynos5/plat/machine/hardware.h b/include/plat/exynos5/plat/machine/hardware.h
index b152253d2..04164fcea 100644
--- a/include/plat/exynos5/plat/machine/hardware.h
+++ b/include/plat/exynos5/plat/machine/hardware.h
@@ -73,9 +73,6 @@ p_region_t get_avail_p_reg(word_t i);
 int get_num_dev_p_regs(void);
 p_region_t get_dev_p_reg(word_t i);
 void map_kernel_devices(void);
-#ifdef ARM_HYP
-void map_hypervisor_devices(void);
-#endif /* ARM_HYP */
 
 bool_t CONST isReservedIRQ(irq_t irq);
 void handleReservedIRQ(irq_t irq);