 loglevel = CTC_LOGLEVEL_DEFAULT;  DBF_TEXT(setup, 3, __FUNCTION__); 
ctc_init(void){	int ret = 0;	print_banner();	ret = ctc_register_dbf_views();	if (ret){		ctc_pr_crit("ctc_init failed with ctc_register_dbf_views rc = %d\n", ret);		return ret;	}	ctc_tty_init();	ret = register_cu3088_discipline(&ctc_group_driver);	if (ret) {		ctc_tty_cleanup();		ctc_unregister_dbf_views();	}	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7394c928c849fe2ea5c20b6d73cbe7f220810d94/ctcmain.c/buggy/drivers/s390/net/ctcmain.c