11f5207b7SJohn Levon/* These are "too hairy" for smatch. */ 2efe51d0cSJohn LevonECDSA_VerifyDigest 31f5207b7SJohn Levondtrace_disx86 41f5207b7SJohn Levonelf32exec 51f5207b7SJohn Levonelfexec 6eb44bcc7SJohn Levonemlxs_sli4_process_unsol_rcv 71f5207b7SJohn Levoniscsi_ioctl 81f5207b7SJohn Levonlm_idle_chk 9efe51d0cSJohn Levonld64_sym_validate 10efe51d0cSJohn LevonluaV_settable 11efe51d0cSJohn Levonnostore_generate_key_pair 12efe51d0cSJohn Levonsadb_common_add 131f5207b7SJohn Levonsegvn_fault_vnodepages 141f5207b7SJohn Levontcp_input_data 15*5a0e240fSJohn Levonzfs_setattr 16