#include <sys/param.h>
#ifdef BSD_KERNEL_PRIVATE
+#include <stdbool.h>
+
/* Global variables for the kernel. */
/* 1.1 */
/* 1.2 */
extern int stathz; /* statistics clock's frequency */
extern int profhz; /* profiling clock's frequency */
+
+extern bool send_sigsys;
#endif /* BSD_KERNEL_PRIVATE */