xref: /illumos-gate/usr/src/tools/smatch/src/smatch_data/illumos_kernel.skipped_functions (revision 1f5207b7604fb44407eb4342aff613f7c4508508) 
1/* These are "too hairy" for smatch. */
2dtrace_disx86
3elf32exec
4elfexec
5iscsi_ioctl
6lm_idle_chk
7segvn_fault_vnodepages
8tcp_input_data
9