#define _SYS_REBOOT_H_
#include <sys/appleapiopts.h>
-
-#ifdef KERNEL_BUILD
-#include <mach_kdb.h>
-#endif /* KERNEL_BUILD */
+#include <sys/cdefs.h>
+#include <stdint.h>
/*
* Arguments to reboot system call.
#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 0 /* reboot due to panic */
-#define RB_BOOT 1 /* reboot due to boot() */
+#define RB_PANIC 0x800 /* panic the kernel */
+
+#ifndef KERNEL
+__BEGIN_DECLS
+/* userspace reboot control */
+int usrctl(uint32_t flags);
+__END_DECLS
+#endif
#endif /* __APPLE_API_PRIVATE */
#include <machine/reboot.h>
__BEGIN_DECLS
-void boot(int, int, char *);
+int reboot_kernel(int, char *);
__END_DECLS
#define PROC_SHUTDOWN_LOG "/var/log/kernel-shutdown.log"