+#define RB_SAFEBOOT 0x100 /* booting safe */
+#define RB_UPSDELAY 0x200 /* Delays restart by 5 minutes */
+#define RB_QUICK 0x400 /* quick and ungraceful reboot with file system caches flushed*/
+#define RB_PANIC 0x800 /* panic the kernel */
+
+#ifndef KERNEL
+__BEGIN_DECLS
+/* userspace reboot control */
+int usrctl(uint32_t flags);
+__END_DECLS
+#endif