#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_ASKNAME 0x01 /* ask for file name to reboot from */
#define RB_SINGLE 0x02 /* reboot to single user only */
#define RB_NOSYNC 0x04 /* dont sync before reboot */
-#define RB_KDB 0x04 /* load kernel debugger */
#define RB_HALT 0x08 /* don't reboot, just halt */
#define RB_INITNAME 0x10 /* name given for /etc/init */
#define RB_DFLTROOT 0x20 /* use compiled-in rootdev */
#define RB_UNIPROC 0x80 /* don't start slaves */
#define RB_SAFEBOOT 0x100 /* booting safe */
#define RB_UPSDELAY 0x200 /* Delays restart by 5 minutes */
-#define RB_PANIC 0 /* reboot due to panic */
-#define RB_BOOT 1 /* reboot due to boot() */
+#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
#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"
+
#endif /* BSD_KERNEL_PRIVATE */
#endif /* _SYS_REBOOT_H_ */