Index: boot/genarch/ofw.c
===================================================================
--- boot/genarch/ofw.c	(revision 8cee7054021b8feabfbbb8d0e8ed691c0dc8e680)
+++ boot/genarch/ofw.c	(revision deb14fb3367eb949b89e653259a597e4debc46da)
@@ -295,2 +295,8 @@
 	return true;
 }
+
+
+void ofw_quiesce(void)
+{
+    ofw_call("quiesce", 0, 0, NULL);
+}
Index: boot/genarch/ofw.h
===================================================================
--- boot/genarch/ofw.h	(revision 8cee7054021b8feabfbbb8d0e8ed691c0dc8e680)
+++ boot/genarch/ofw.h	(revision deb14fb3367eb949b89e653259a597e4debc46da)
@@ -123,4 +123,5 @@
 extern int ofw_screen(screen_t *screen);
 extern int ofw_keyboard(keyboard_t *keyboard);
+extern void ofw_quiesce(void);
 
 #endif