cpcmd(cp_command, buf, 4096); 
cpcmd(cp_command, buf, 4096, NULL); 
vmlogrdr_recording_status_show(struct device_driver *driver, char *buf) {	char cp_command[] = "QUERY RECORDING ";	int len;	cpcmd(cp_command, buf, 4096);	len = strlen(buf);	return len;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6b979de395c7e1b7e59f74a870e1d1911853eccb/vmlogrdr.c/buggy/drivers/s390/char/vmlogrdr.c