void udbg_console_write(struct console *con, const char *s, unsigned int n) 
static void udbg_console_write(struct console *con, const char *s, unsigned int n) 
void udbg_console_write(struct console *con, const char *s, unsigned int n){	udbg_write(s, n);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8d9273918635f0301368c01b56c03a6f339e8d51/udbg.c/buggy/arch/ppc64/kernel/udbg.c