usr/src/tools/smatch/src/check_kernel_printf.c

1221

printf_hook(srm_printk, 1, 2); /* arch/alpha/include/asm/console.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1222

printf_hook(die_if_kernel, 1, 2); /* arch/frv/include/asm/bug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1223

printf_hook(ia64_mca_printk, 1, 2); /* arch/ia64/include/asm/mca.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1224

printf_hook(nfprint, 1, 2); /* arch/m68k/include/asm/natfeat.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1225

printf_hook(gdbstub_printk, 1, 2); /* arch/mn10300/include/asm/gdb-stub.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1226

printf_hook(DBG, 1, 2); /* arch/powerpc/boot/ps3.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1227

printf_hook(printf, 1, 2); /* arch/powerpc/boot/stdio.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1228

printf_hook(udbg_printf, 1, 2); /* arch/powerpc/include/asm/udbg.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1229

printf_hook(__debug_sprintf_event, 3, 4); /* arch/s390/include/asm/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1230

printf_hook(__debug_sprintf_exception, 3, 4); /* arch/s390/include/asm/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1231

printf_hook(prom_printf, 1, 2); /* arch/sparc/include/asm/oplib_32.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1233

printf_hook(fail, 1, 2); /* arch/x86/vdso/vdso2c.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1236

printf_hook(_ldm_printk, 3, 4); /* block/partitions/ldm.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1237

printf_hook(rbd_warn, 2, 3); /* drivers/block/rbd.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1238

printf_hook(fw_err, 2, 3); /* drivers/firewire/core.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1239

printf_hook(fw_notice, 2, 3); /* drivers/firewire/core.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1240

printf_hook(i915_error_printf, 2, 3); /* drivers/gpu/drm/i915/i915_drv.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1241

printf_hook(i915_handle_error, 3, 4); /* drivers/gpu/drm/i915/i915_drv.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1242

printf_hook(nv_printk_, 3, 4); /* drivers/gpu/drm/nouveau/core/include/core/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1243

printf_hook(host1x_debug_output, 2, 3); /* drivers/gpu/host1x/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1244

printf_hook(callc_debug, 2, 3); /* drivers/isdn/hisax/callc.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1245

printf_hook(link_debug, 3, 4); /* drivers/isdn/hisax/callc.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1246

printf_hook(HiSax_putstatus, 3, 4); /* drivers/isdn/hisax/hisax.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1247

printf_hook(VHiSax_putstatus, 3, 0); /* drivers/isdn/hisax/hisax.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1248

printf_hook(debugl1, 2, 3); /* drivers/isdn/hisax/isdnl1.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1249

printf_hook(l3m_debug, 2, 3); /* drivers/isdn/hisax/isdnl3.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1250

printf_hook(dout_debug, 2, 3); /* drivers/isdn/hisax/st5481_d.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1251

printf_hook(l1m_debug, 2, 3); /* drivers/isdn/hisax/st5481_d.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1252

printf_hook(bch_cache_set_error, 2, 3); /* drivers/md/bcache/bcache.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1253

printf_hook(_tda_printk, 4, 5); /* drivers/media/tuners/tda18271-priv.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1254

printf_hook(i40evf_debug_d, 3, 4); /* drivers/net/ethernet/intel/i40evf/i40e_osdep.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1255

printf_hook(en_print, 3, 4); /* drivers/net/ethernet/mellanox/mlx4/mlx4_en.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1256

printf_hook(_ath_dbg, 3, 4); /* drivers/net/wireless/ath/ath.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1257

printf_hook(ath_printk, 3, 4); /* drivers/net/wireless/ath/ath.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1258

printf_hook(ath10k_dbg, 3, 4); /* drivers/net/wireless/ath/ath10k/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1259

printf_hook(ath10k_err, 2, 3); /* drivers/net/wireless/ath/ath10k/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1260

printf_hook(ath10k_info, 2, 3); /* drivers/net/wireless/ath/ath10k/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1261

printf_hook(ath10k_warn, 2, 3); /* drivers/net/wireless/ath/ath10k/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1262

printf_hook(_ath5k_printk, 3, 4); /* drivers/net/wireless/ath/ath5k/ath5k.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1263

printf_hook(ATH5K_DBG, 3, 4); /* drivers/net/wireless/ath/ath5k/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1264

printf_hook(ATH5K_DBG_UNLIMIT, 3, 4); /* drivers/net/wireless/ath/ath5k/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1265

printf_hook(ath6kl_printk, 2, 3); /* drivers/net/wireless/ath/ath6kl/common.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1266

printf_hook(ath6kl_err, 1, 2); /* drivers/net/wireless/ath/ath6kl/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1267

printf_hook(ath6kl_info, 1, 2); /* drivers/net/wireless/ath/ath6kl/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1268

printf_hook(ath6kl_warn, 1, 2); /* drivers/net/wireless/ath/ath6kl/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1269

printf_hook(wil_dbg_trace, 2, 3); /* drivers/net/wireless/ath/wil6210/wil6210.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1270

printf_hook(wil_err, 2, 3); /* drivers/net/wireless/ath/wil6210/wil6210.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1271

printf_hook(wil_err_ratelimited, 2, 3); /* drivers/net/wireless/ath/wil6210/wil6210.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1272

printf_hook(wil_info, 2, 3); /* drivers/net/wireless/ath/wil6210/wil6210.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1273

printf_hook(b43dbg, 2, 3); /* drivers/net/wireless/b43/b43.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1274

printf_hook(b43err, 2, 3); /* drivers/net/wireless/b43/b43.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1275

printf_hook(b43info, 2, 3); /* drivers/net/wireless/b43/b43.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1276

printf_hook(b43warn, 2, 3); /* drivers/net/wireless/b43/b43.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1277

printf_hook(b43legacydbg, 2, 3); /* drivers/net/wireless/b43legacy/b43legacy.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1278

printf_hook(b43legacyerr, 2, 3); /* drivers/net/wireless/b43legacy/b43legacy.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1279

printf_hook(b43legacyinfo, 2, 3); /* drivers/net/wireless/b43legacy/b43legacy.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1280

printf_hook(b43legacywarn, 2, 3); /* drivers/net/wireless/b43legacy/b43legacy.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1281

printf_hook(__brcmf_dbg, 3, 4); /* drivers/net/wireless/brcm80211/brcmfmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1282

printf_hook(__brcmf_err, 2, 3); /* drivers/net/wireless/brcm80211/brcmfmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1283

printf_hook(__brcms_crit, 2, 3); /* drivers/net/wireless/brcm80211/brcmsmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1284

printf_hook(__brcms_dbg, 4, 5); /* drivers/net/wireless/brcm80211/brcmsmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1285

printf_hook(__brcms_err, 2, 3); /* drivers/net/wireless/brcm80211/brcmsmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1286

printf_hook(__brcms_info, 2, 3); /* drivers/net/wireless/brcm80211/brcmsmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1287

printf_hook(__brcms_warn, 2, 3); /* drivers/net/wireless/brcm80211/brcmsmac/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1288

printf_hook(brcmu_dbg_hex_dump, 3, 4); /* drivers/net/wireless/brcm80211/include/brcmu_utils.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1289

printf_hook(__iwl_crit, 2, 3); /* drivers/net/wireless/iwlwifi/iwl-debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1290

printf_hook(__iwl_dbg, 5, 6); /* drivers/net/wireless/iwlwifi/iwl-debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1291

printf_hook(__iwl_err, 4, 5); /* drivers/net/wireless/iwlwifi/iwl-debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1292

printf_hook(__iwl_info, 2, 3); /* drivers/net/wireless/iwlwifi/iwl-debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1293

printf_hook(__iwl_warn, 2, 3); /* drivers/net/wireless/iwlwifi/iwl-debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1294

printf_hook(rsi_dbg, 2, 3); /* drivers/net/wireless/rsi/rsi_main.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1295

printf_hook(RTPRINT, 4, 5); /* drivers/net/wireless/rtlwifi/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1296

printf_hook(RT_ASSERT, 2, 3); /* drivers/net/wireless/rtlwifi/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1297

printf_hook(RT_TRACE, 4, 5); /* drivers/net/wireless/rtlwifi/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1298

printf_hook(__of_node_dup, 2, 3); /* drivers/of/of_private.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1299

printf_hook(BNX2FC_HBA_DBG, 2, 3); /* drivers/scsi/bnx2fc/bnx2fc_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1300

printf_hook(BNX2FC_IO_DBG, 2, 3); /* drivers/scsi/bnx2fc/bnx2fc_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1301

printf_hook(BNX2FC_TGT_DBG, 2, 3); /* drivers/scsi/bnx2fc/bnx2fc_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1302

printf_hook(ql_dbg, 4, 5); /* drivers/scsi/qla2xxx/qla_dbg.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1303

printf_hook(ql_dbg_pci, 4, 5); /* drivers/scsi/qla2xxx/qla_dbg.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1304

printf_hook(ql_log, 4, 5); /* drivers/scsi/qla2xxx/qla_dbg.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1305

printf_hook(ql_log_pci, 4, 5); /* drivers/scsi/qla2xxx/qla_dbg.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1306

printf_hook(libcfs_debug_msg, 2, 3); /* drivers/staging/lustre/include/linux/libcfs/libcfs_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1307

printf_hook(libcfs_debug_vmsg2, 4, 5); /* drivers/staging/lustre/include/linux/libcfs/libcfs_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1308

printf_hook(_ldlm_lock_debug, 3, 4); /* drivers/staging/lustre/lustre/include/lustre_dlm.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1309

printf_hook(_debug_req, 3, 4); /* drivers/staging/lustre/lustre/include/lustre_net.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1310

printf_hook(iscsi_change_param_sprintf, 2, 3); /* drivers/target/iscsi/iscsi_target_login.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1311

printf_hook(dbg, 1, 2); /* drivers/tty/serial/samsung.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1312

printf_hook(_usb_stor_dbg, 2, 3); /* drivers/usb/storage/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1313

printf_hook(usb_stor_dbg, 2, 3); /* drivers/usb/storage/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1314

printf_hook(vringh_bad, 1, 2); /* drivers/vhost/vringh.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1315

printf_hook(__adfs_error, 3, 4); /* fs/adfs/adfs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1316

printf_hook(affs_error, 3, 4); /* fs/affs/affs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1317

printf_hook(affs_warning, 3, 4); /* fs/affs/affs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1318

printf_hook(befs_debug, 2, 3); /* fs/befs/befs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1319

printf_hook(befs_error, 2, 3); /* fs/befs/befs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1320

printf_hook(befs_warning, 2, 3); /* fs/befs/befs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1321

printf_hook(__btrfs_panic, 5, 6); /* fs/btrfs/ctree.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1322

printf_hook(__btrfs_std_error, 5, 6); /* fs/btrfs/ctree.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1323

printf_hook(btrfs_printk, 2, 3); /* fs/btrfs/ctree.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1324

printf_hook(cifs_vfs_err, 1, 2); /* fs/cifs/cifs_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1325

printf_hook(__ecryptfs_printk, 1, 2); /* fs/ecryptfs/ecryptfs_kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1326

printf_hook(ext2_error, 3, 4); /* fs/ext2/ext2.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1327

printf_hook(ext2_msg, 3, 4); /* fs/ext2/ext2.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1328

printf_hook(ext3_abort, 3, 4); /* fs/ext3/ext3.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1329

printf_hook(ext3_error, 3, 4); /* fs/ext3/ext3.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1330

printf_hook(ext3_msg, 3, 4); /* fs/ext3/ext3.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1331

printf_hook(ext3_warning, 3, 4); /* fs/ext3/ext3.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1332

printf_hook(__ext4_abort, 4, 5); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1333

printf_hook(__ext4_error, 4, 5); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1334

printf_hook(__ext4_error_file, 5, 6); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1335

printf_hook(__ext4_error_inode, 5, 6); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1336

printf_hook(__ext4_grp_locked_error, 7, 8); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1337

printf_hook(__ext4_msg, 3, 4); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1338

printf_hook(__ext4_warning, 4, 5); /* fs/ext4/ext4.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1339

printf_hook(f2fs_msg, 3, 4); /* fs/f2fs/f2fs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1340

printf_hook(__fat_fs_error, 3, 4); /* fs/fat/fat.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1341

printf_hook(fat_msg, 3, 4); /* fs/fat/fat.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1342

printf_hook(gfs2_print_dbg, 2, 3); /* fs/gfs2/glock.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1343

printf_hook(gfs2_lm_withdraw, 2, 3); /* fs/gfs2/util.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1344

printf_hook(hpfs_error, 2, 3); /* fs/hpfs/hpfs_fn.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1345

printf_hook(jfs_error, 2, 3); /* fs/jfs/jfs_superblock.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1346

printf_hook(nilfs_error, 3, 4); /* fs/nilfs2/nilfs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1347

printf_hook(nilfs_warning, 3, 4); /* fs/nilfs2/nilfs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1348

printf_hook(__ntfs_debug, 4, 5); /* fs/ntfs/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1349

printf_hook(__ntfs_error, 3, 4); /* fs/ntfs/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1350

printf_hook(__ntfs_warning, 3, 4); /* fs/ntfs/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1351

printf_hook(__ocfs2_abort, 3, 4); /* fs/ocfs2/super.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1352

printf_hook(__ocfs2_error, 3, 4); /* fs/ocfs2/super.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1353

printf_hook(_udf_err, 3, 4); /* fs/udf/udfdecl.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1354

printf_hook(_udf_warn, 3, 4); /* fs/udf/udfdecl.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1355

printf_hook(ufs_error, 3, 4); /* fs/ufs/ufs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1356

printf_hook(ufs_panic, 3, 4); /* fs/ufs/ufs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1357

printf_hook(ufs_warning, 3, 4); /* fs/ufs/ufs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1358

printf_hook(xfs_alert, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1359

printf_hook(xfs_alert_tag, 3, 4); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1360

printf_hook(xfs_crit, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1361

printf_hook(xfs_debug, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1362

printf_hook(xfs_emerg, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1363

printf_hook(xfs_err, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1364

printf_hook(xfs_info, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1365

printf_hook(xfs_notice, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1366

printf_hook(xfs_warn, 2, 3); /* fs/xfs/xfs_message.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1367

printf_hook(warn_slowpath_fmt, 3, 4); /* include/asm-generic/bug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1368

printf_hook(warn_slowpath_fmt_taint, 4, 5); /* include/asm-generic/bug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1369

printf_hook(drm_err, 1, 2); /* include/drm/drmP.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1370

printf_hook(drm_ut_debug_printk, 2, 3); /* include/drm/drmP.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1371

printf_hook(__acpi_handle_debug, 3, 4); /* include/linux/acpi.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1372

printf_hook(acpi_handle_printk, 3, 4); /* include/linux/acpi.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1373

printf_hook(audit_log, 4, 5); /* include/linux/audit.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1374

printf_hook(audit_log_format, 2, 3); /* include/linux/audit.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1375

printf_hook(bdi_register, 3, 4); /* include/linux/backing-dev.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1376

printf_hook(__trace_note_message, 2, 3); /* include/linux/blktrace_api.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1377

printf_hook(_dev_info, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1378

printf_hook(dev_alert, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1379

printf_hook(dev_crit, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1380

printf_hook(dev_emerg, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1381

printf_hook(dev_err, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1382

printf_hook(dev_notice, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1383

printf_hook(dev_printk, 3, 4); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1384

printf_hook(dev_printk_emit, 3, 4); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1385

printf_hook(dev_set_name, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1386

printf_hook(dev_vprintk_emit, 3, 0); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1387

printf_hook(dev_warn, 2, 3); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1388

printf_hook(device_create, 5, 6); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1389

printf_hook(device_create_with_groups, 6, 7); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1390

printf_hook(devm_kasprintf, 3, 4); /* include/linux/device.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1391

printf_hook(__dynamic_dev_dbg, 3, 4); /* include/linux/dynamic_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1392

printf_hook(__dynamic_netdev_dbg, 3, 4); /* include/linux/dynamic_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1393

printf_hook(__dynamic_pr_debug, 2, 3); /* include/linux/dynamic_debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1394

printf_hook(__simple_attr_check_format, 1, 2); /* include/linux/fs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1395

printf_hook(fscache_init_cache, 3, 4); /* include/linux/fscache-cache.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1396

printf_hook(gameport_set_phys, 2, 3); /* include/linux/gameport.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1397

printf_hook(iio_trigger_alloc, 1, 2); /* include/linux/iio/trigger.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1398

printf_hook(__check_printsym_format, 1, 2); /* include/linux/kallsyms.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1399

printf_hook(kdb_printf, 1, 2); /* include/linux/kdb.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1400

printf_hook(vkdb_printf, 1, 0); /* include/linux/kdb.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1401

printf_hook(____trace_printk_check_format, 1, 2); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1402

printf_hook(__trace_bprintk, 2, 3); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1403

printf_hook(__trace_printk, 2, 3); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1404

printf_hook(kasprintf, 2, 3); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1405

printf_hook(panic, 1, 2); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1406

printf_hook(scnprintf, 3, 4); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1407

printf_hook(snprintf, 3, 4); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1408

printf_hook(sprintf, 2, 3); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1409

printf_hook(trace_printk, 1, 2); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1410

printf_hook(vscnprintf, 3, 0); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1411

printf_hook(vsnprintf, 3, 0); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1412

printf_hook(vsprintf, 2, 0); /* include/linux/kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1413

printf_hook(vmcoreinfo_append_str, 1, 2); /* include/linux/kexec.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1414

printf_hook(__request_module, 2, 3); /* include/linux/kmod.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1415

printf_hook(add_uevent_var, 2, 3); /* include/linux/kobject.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1416

printf_hook(kobject_add, 3, 4); /* include/linux/kobject.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1417

printf_hook(kobject_init_and_add, 4, 5); /* include/linux/kobject.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1418

printf_hook(kobject_set_name, 2, 3); /* include/linux/kobject.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1419

printf_hook(kthread_create_on_node, 4, 5); /* include/linux/kthread.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1420

printf_hook(__ata_ehi_push_desc, 2, 3); /* include/linux/libata.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1421

printf_hook(ata_dev_printk, 3, 4); /* include/linux/libata.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1422

printf_hook(ata_ehi_push_desc, 2, 3); /* include/linux/libata.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1423

printf_hook(ata_link_printk, 3, 4); /* include/linux/libata.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1424

printf_hook(ata_port_desc, 2, 3); /* include/linux/libata.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1425

printf_hook(ata_port_printk, 3, 4); /* include/linux/libata.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1426

printf_hook(warn_alloc_failed, 3, 4); /* include/linux/mm.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1427

printf_hook(mmiotrace_printk, 1, 2); /* include/linux/mmiotrace.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1428

printf_hook(netdev_alert, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1429

printf_hook(netdev_crit, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1430

printf_hook(netdev_emerg, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1431

printf_hook(netdev_err, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1432

printf_hook(netdev_info, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1433

printf_hook(netdev_notice, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1434

printf_hook(netdev_printk, 3, 4); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1435

printf_hook(netdev_warn, 2, 3); /* include/linux/netdevice.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1436

printf_hook(early_printk, 1, 2); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1437

printf_hook(no_printk, 1, 2); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1438

printf_hook(printk, 1, 2); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1439

printf_hook(printk_deferred, 1, 2); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1440

printf_hook(printk_emit, 5, 6); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1441

printf_hook(vprintk, 1, 0); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1442

printf_hook(vprintk_emit, 5, 0); /* include/linux/printk.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1443

printf_hook(__quota_error, 3, 4); /* include/linux/quotaops.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1444

printf_hook(seq_buf_printf, 2, 3); /* include/linux/seq_buf.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1445

printf_hook(seq_buf_vprintf, 2, 0); /* include/linux/seq_buf.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1446

printf_hook(seq_printf, 2, 3); /* include/linux/seq_file.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1447

printf_hook(seq_vprintf, 2, 0); /* include/linux/seq_file.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1448

printf_hook(bprintf, 3, 4); /* include/linux/string.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1449

printf_hook(trace_seq_printf, 2, 3); /* include/linux/trace_seq.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1450

printf_hook(trace_seq_vprintf, 2, 0); /* include/linux/trace_seq.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1451

printf_hook(__alloc_workqueue_key, 1, 6); /* include/linux/workqueue.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1452

printf_hook(set_worker_desc, 1, 2); /* include/linux/workqueue.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1453

printf_hook(_p9_debug, 3, 4); /* include/net/9p/9p.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1454

printf_hook(bt_err, 1, 2); /* include/net/bluetooth/bluetooth.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1455

printf_hook(bt_info, 1, 2); /* include/net/bluetooth/bluetooth.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1456

printf_hook(nf_ct_helper_log, 3, 4); /* include/net/netfilter/nf_conntrack_helper.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1457

printf_hook(nf_log_buf_add, 2, 3); /* include/net/netfilter/nf_log.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1458

printf_hook(nf_log_packet, 8, 9); /* include/net/netfilter/nf_log.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1459

printf_hook(SOCK_DEBUG, 2, 3); /* include/net/sock.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1460

printf_hook(__snd_printk, 4, 5); /* include/sound/core.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1461

printf_hook(_snd_printd, 2, 3); /* include/sound/core.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1462

printf_hook(snd_printd, 1, 2); /* include/sound/core.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1463

printf_hook(snd_printdd, 1, 2); /* include/sound/core.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1464

printf_hook(snd_iprintf, 2, 3); /* include/sound/info.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1465

printf_hook(snd_seq_create_kernel_client, 3, 4); /* include/sound/seq_kernel.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1466

printf_hook(xen_raw_printk, 1, 2); /* include/xen/hvc-console.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1467

printf_hook(xenbus_dev_error, 3, 4); /* include/xen/xenbus.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1468

printf_hook(xenbus_dev_fatal, 3, 4); /* include/xen/xenbus.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1469

printf_hook(xenbus_printf, 4, 5); /* include/xen/xenbus.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1470

printf_hook(xenbus_watch_pathfmt, 4, 5); /* include/xen/xenbus.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1471

printf_hook(batadv_fdebug_log, 2, 3); /* net/batman-adv/debugfs.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1472

printf_hook(_batadv_dbg, 4, 5); /* net/batman-adv/main.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1473

printf_hook(batadv_debug_log, 2, 3); /* net/batman-adv/main.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1474

printf_hook(__sdata_dbg, 2, 3); /* net/mac80211/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1475

printf_hook(__sdata_err, 1, 2); /* net/mac80211/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1476

printf_hook(__sdata_info, 1, 2); /* net/mac80211/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1477

printf_hook(__wiphy_dbg, 3, 4); /* net/mac80211/debug.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1478

printf_hook(mac80211_format_buffer, 4, 5); /* net/mac80211/debugfs.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1479

printf_hook(__rds_conn_error, 2, 3); /* net/rds/rds.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1480

printf_hook(rdsdebug, 1, 2); /* net/rds/rds.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1481

printf_hook(printl, 1, 2); /* net/sctp/probe.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1482

printf_hook(svc_printk, 2, 3); /* net/sunrpc/svc.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1483

printf_hook(tomoyo_io_printf, 2, 3); /* security/tomoyo/common.c */

usr/src/tools/smatch/src/check_kernel_printf.c

1484

printf_hook(tomoyo_supervisor, 2, 3); /* security/tomoyo/common.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1485

printf_hook(tomoyo_write_log, 2, 3); /* security/tomoyo/common.h */

usr/src/tools/smatch/src/check_kernel_printf.c

1486

printf_hook(cmp_error, 2, 3); /* sound/firewire/cmp.c */