11506 smatch resync

@@ -22,12 +22,16 @@
 sqliteVdbeExec
 /* cmd/acpi/iasl */
 AslCompilerparse
 /* cmd/fs.d/autofs */
 nfsmount
+/* cmd/mdb */
+iob_doprnt
 /* cmd/pppd */
 lcp_nakci
+/* cmd/cmd-crypto */
+execute_cmd
 
 /* generated code */
 ipf_yyparse
 ipmon_yyparse
 ipnat_yyparse