12166 resync smatch to 0.6.1-rc1-il-3

*** 178,187 ****
--- 178,192 ----
  delete from return_states where function = 'ata_dev_next' and type = 103;
  
  /* The problem is that parsing big function pointers is hard. */
  delete from return_states where function = 'vfs_get_tree' and type = 1024;
  
+ /* Locking stuff goes here.  */
+ update return_states set parameter = -1, key = '\$' where function = 'ipmi_ssif_lock_cond' and type = 8020 and parameter = 1;
+ update return_states set parameter = 1, key = '\$->tree->tree_lock' where function = 'hfs_find_init' and type = 8020 and parameter = 0;
+ delete from return_states where function = '__oom_kill_process' and type = 8021;
+ 
  EOF
  
  # fixme: this is totally broken
  call_id=$(echo "select distinct call_id from caller_info where function = '__kernel_write';" | sqlite3 $db_file)
  for id in $call_id ; do