len += get_blkdev_list(page+len); 
len += get_blkdev_list(page+len, len); 
static int devices_read_proc(char *page, char **start, off_t off,				 int count, int *eof, void *data){	int len = get_chrdev_list(page);	len += get_blkdev_list(page+len);	return proc_calc_metrics(page, start, off, count, eof, len);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ac20427ef6aa63da663bdc88b71d16f7394f5e23/proc_misc.c/buggy/fs/proc/proc_misc.c