Revision 12c0b20fa4afb5c8a377d6987fb2dcf353e1dce1 authored by Bjorn Helgaas on 23 July 2008, 23:00:13 UTC, committed by Jesse Barnes on 28 July 2008, 22:32:26 UTC
Convert printks to use dev_printk().

I converted DBG() to dev_dbg().  This DBG() is from arch/x86/pci/pci.h and
requires source-code modification to enable, so dev_dbg() seems roughly
equivalent.

Signed-off-by: Bjorn Helgaas <bjorn.helgaas@hp.com>
Signed-off-by: Jesse Barnes <jbarnes@virtuousgeek.org>
1 parent 756f7bc
History
File Mode Size
Kconfig -rw-r--r-- 442 bytes
Makefile -rw-r--r-- 297 bytes
netlabel_cipso_v4.c -rw-r--r-- 20.3 KB
netlabel_cipso_v4.h -rw-r--r-- 4.8 KB
netlabel_domainhash.c -rw-r--r-- 11.7 KB
netlabel_domainhash.h -rw-r--r-- 2.2 KB
netlabel_kapi.c -rw-r--r-- 16.4 KB
netlabel_mgmt.c -rw-r--r-- 14.8 KB
netlabel_mgmt.h -rw-r--r-- 4.9 KB
netlabel_unlabeled.c -rw-r--r-- 48.4 KB
netlabel_unlabeled.h -rw-r--r-- 6.6 KB
netlabel_user.c -rw-r--r-- 3.1 KB
netlabel_user.h -rw-r--r-- 1.9 KB

back to top