static int debug_input_flush_fn(debug_info_t * id, struct debug_view *view, struct file *file, const char __user *user_buf, size_t in_buf_size, loff_t * offset) 
debug_input_flush_fn(debug_info_t * id, struct debug_view *view, struct file *file, const char __user *user_buf, size_t user_len, loff_t * offset) 
static int debug_input_flush_fn(debug_info_t * id, struct debug_view *view,                                struct file *file, const char __user *user_buf,                                size_t in_buf_size, loff_t * offset){        char input_buf[1];        int rc = in_buf_size;         if (*offset != 0)                goto out;        if (copy_from_user(input_buf, user_buf, 1)){                rc = -EFAULT;                goto out;        }        if(input_buf[0] == '-') {                 debug_flush(id, DEBUG_FLUSH_ALL);                goto out;        }        if (isdigit(input_buf[0])) {                int area = ((int) input_buf[0] - (int) '0');                debug_flush(id, area);                goto out;        }        printk(KERN_INFO "debug: area `%c` is not valid\n", input_buf[0]);      out:        *offset += in_buf_size;        return rc;              /* number of input characters */}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/clean/arch/s390/kernel/debug.c