kernel: Mark sigexit() and cpu_halt() as not returning.
authorSascha Wildner <saw@online.de>
Sat, 28 Feb 2015 20:31:02 +0000 (21:31 +0100)
committerSascha Wildner <saw@online.de>
Sat, 28 Feb 2015 20:31:02 +0000 (21:31 +0100)
sys/sys/signalvar.h
sys/sys/systm.h

index 42f54b2..d961c03 100644 (file)
@@ -204,7 +204,7 @@ void        trapsignal (struct lwp *p, int sig, u_long code);
  * Machine-dependent functions:
  */
 void   sendsig (sig_t action, int sig, sigset_t *retmask, u_long code);
-void   sigexit (struct lwp *lp, int sig);
+void   sigexit (struct lwp *lp, int sig) __dead2;
 int    checkpoint_signal_handler(struct lwp *p);
 
 #endif /* _KERNEL */
index ddd3dc1..bdfba26 100644 (file)
@@ -157,7 +157,7 @@ void        *phashinit_ext (int count, size_t size,
 int    cpu_sanitize_frame (struct trapframe *);
 int    cpu_sanitize_tls (struct savetls *);
 void   cpu_spinlock_contested(void);
-void   cpu_halt (void);
+void   cpu_halt (void) __dead2;
 void   cpu_reset (void);
 void   cpu_boot (int);
 void   cpu_rootconf (void);