kdb_print_state    37 kernel/debug/kdb/kdb_private.h 		kdb_print_state(text, value)
kdb_print_state   117 kernel/debug/kdb/kdb_private.h extern void kdb_print_state(const char *, int);