con_debug_leave 3962 drivers/tty/vt/vt.c int con_debug_leave(void) con_debug_leave 118 include/linux/console.h static inline int con_debug_leave(void)