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
  15 zfs_setattr