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