smatch_data/kernel.no_return_funcs

   1 // list of functions which don't return.
   2 // generated by `gen_no_return_funcs.sh`
   3 assfail
   4 complete_and_exit
   5 cpu_idle
   6 do_exit
   7 do_group_exit
   8 follow_huge_pud
   9 __invalid_creds
  10 kthreadd
  11 kvm_handle_fault_on_reboot
  12 __module_put_and_exit
  13 mpt_halt_firmware
  14 panic
  15 __reiserfs_panic
  16 skb_over_panic
  17 skb_under_panic
  18 __stack_chk_fail
  19 stop_this_cpu
  20 sys_exit
  21 sys_exit_group