1 /* These are "too hairy" for smatch. */

   2 dtrace_disx86
   3 elf32exec
   4 elfexec
   5 iscsi_ioctl
   6 lm_idle_chk




   7 segvn_fault_vnodepages
   8 tcp_input_data

   1 /* These are "too hairy" for smatch. */
   2 ECDSA_VerifyDigest
   3 dtrace_disx86
   4 elf32exec
   5 elfexec
   6 iscsi_ioctl
   7 lm_idle_chk
   8 ld64_sym_validate
   9 luaV_settable
  10 nostore_generate_key_pair
  11 sadb_common_add
  12 segvn_fault_vnodepages
  13 tcp_input_data