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