diff --git a/include/plat/spike/plat/machine/hardware.h b/include/plat/spike/plat/machine/hardware.h
index f7ce26537..fdd13fb93 100644
--- a/include/plat/spike/plat/machine/hardware.h
+++ b/include/plat/spike/plat/machine/hardware.h
@@ -61,7 +61,6 @@
 
 int get_num_avail_p_regs(void);
 p_region_t get_avail_p_reg(word_t i);
-bool_t add_avail_p_reg(p_region_t reg);
 void map_kernel_devices(void);
 
 bool_t CONST isReservedIRQ(irq_t irq);