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