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