kthread_exit     1334 dev/acpi/acpi.c 	kthread_exit(0);
kthread_exit      414 dev/cardbus/cardslot.c 	kthread_exit(0);
kthread_exit      920 dev/ic/aac.c   	kthread_exit(0);
kthread_exit      445 dev/ic/i82365.c 	kthread_exit(0);
kthread_exit     1165 dev/ic/pgt.c   	kthread_exit(0);
kthread_exit      511 dev/ic/tcic2.c 	kthread_exit(0);
kthread_exit     1609 dev/ipmi.c     	kthread_exit(0);
kthread_exit      401 dev/onewire/onewire.c 	kthread_exit(0);
kthread_exit      974 dev/raidframe/rf_engine.c 	kthread_exit(0);
kthread_exit     2628 dev/raidframe/rf_openbsdkintf.c 	kthread_exit(0);	/* Does not return. */
kthread_exit     2659 dev/raidframe/rf_openbsdkintf.c 	kthread_exit(0);	/* Does not return. */
kthread_exit     2675 dev/raidframe/rf_openbsdkintf.c 	kthread_exit(0);	/* Does not return. */
kthread_exit     2695 dev/raidframe/rf_openbsdkintf.c 	kthread_exit(0);	/* Does not return. */
kthread_exit      723 dev/raidframe/rf_paritylogDiskMgr.c 	kthread_exit(0);	/* does not return */
kthread_exit      182 dev/sdmmc/sdmmc.c 	kthread_exit(0);
kthread_exit     1848 dev/usb/if_wi_usb.c 			kthread_exit(0);
kthread_exit      592 dev/usb/ueagle.c 	kthread_exit(0);
kthread_exit      347 dev/usb/usb.c  	kthread_exit(0);
kthread_exit      265 dev/usb/usbf.c 	kthread_exit(0);
kthread_exit      333 kern/kern_acct.c 	kthread_exit(0);
kthread_exit      204 kern/kern_workq.c 	kthread_exit(0);
kthread_exit      177 nfs/nfs_kq.c   			kthread_exit(0);
kthread_exit      775 nfs/nfs_syscalls.c 	kthread_exit(0);
kthread_exit       56 sys/kthread.h  void	kthread_exit(int) __attribute__((__noreturn__));