804 static void print_kernel_ident(void)  in print_kernel_ident()  function
1959 	print_kernel_ident();  in print_circular_bug_header()
2598 	print_kernel_ident();  in print_bad_irq_dependency()
3019 	print_kernel_ident();  in print_deadlock_bug()
3642 	print_kernel_ident();  in print_collision()
4014 	print_kernel_ident();  in print_usage_bug()
4080 	print_kernel_ident();  in print_irq_inversion_bug()
4788 	print_kernel_ident();  in print_lock_invalid_wait_context()
5018 	print_kernel_ident();  in print_lock_nested_lock_not_held()
5251 	print_kernel_ident();  in print_unlock_imbalance_bug()
5975 	print_kernel_ident();  in print_lock_contention_bug()
6630 	print_kernel_ident();  in print_freed_lock_bug()
6693 	print_kernel_ident();  in print_held_locks_bug()
6761 		print_kernel_ident();  in lockdep_sys_exit()
6787 	print_kernel_ident();  in lockdep_rcu_suspicious()