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