__noreturn__       64 dev/ofw/openfirm.h void OF_exit(void) __attribute__((__noreturn__));
__noreturn__      152 lib/libkern/libkern.h 	    __attribute__ ((__noreturn__));
__noreturn__      128 sys/cdefs.h    #define __dead		__attribute__((__noreturn__))
__noreturn__       56 sys/kthread.h  void	kthread_exit(int) __attribute__((__noreturn__));
__noreturn__       98 sys/reboot.h       __attribute__((__noreturn__));
__noreturn__      155 sys/systm.h        __attribute__((__noreturn__,__format__(__kprintf__,1,2)));
__noreturn__      157 sys/systm.h        __attribute__((__noreturn__));