static int s390dbf_procactive(ctl_table *table, int write, struct file *filp, 
s390dbf_procactive(ctl_table *table, int write, struct file *filp, 
static int s390dbf_procactive(ctl_table *table, int write, struct file *filp,                     void __user *buffer, size_t *lenp, loff_t *ppos){	if (!write || debug_stoppable || !debug_active)		return proc_dointvec(table, write, filp, buffer, lenp, ppos);	else		return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/buggy/arch/s390/kernel/debug.c