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

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