debug_info_put     77 arch/s390/kernel/debug.c static void debug_info_put(debug_info_t *);
debug_info_put    645 arch/s390/kernel/debug.c 	debug_info_put(p_info->debug_info_org);
debug_info_put    733 arch/s390/kernel/debug.c 	debug_info_put(id);