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