Print this page 
12013 fix GCC4 as primary compiler
@@ -1,10 +1,11 @@
 /* These are "too hairy" for smatch. */
 ECDSA_VerifyDigest
 dtrace_disx86
 elf32exec
 elfexec
+emlxs_sli4_process_unsol_rcv
 iscsi_ioctl
 lm_idle_chk
 ld64_sym_validate
 luaV_settable
 nostore_generate_key_pair