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