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