asmlinkage long sys_syslog(int type, char __user * buf, int len) 
asmlinkage long sys_syslog(int type, char __user *buf, int len) 
asmlinkage long sys_syslog(int type, char __user * buf, int len){	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/40dc565122ed1e180a0637f88cdfca734d33db78/printk.c/clean/kernel/printk.c