1 /* These are "too hairy" for smatch. */
   2 dtrace_disx86
   3 elf32exec
   4 elfexec
   5 iscsi_ioctl
   6 lm_idle_chk
   7 segvn_fault_vnodepages
   8 tcp_input_data