--- a/arch/powerpc/platforms/embedded6xx/flipper-pic.h
+++ b/arch/powerpc/platforms/embedded6xx/flipper-pic.h
@@ -35,6 +35,7 @@
 unsigned int flipper_pic_get_irq(void);
 void __init flipper_pic_probe(void);
 
+void flipper_quiesce(void);
 void flipper_platform_reset(void);
 int flipper_is_reset_button_pressed(void);