char *new;  new = kmalloc(strlen(string) + 1, GFP_KERNEL); if(new == NULL) return(NULL); strcpy(new, string); return(new); 
return kstrdup(string, GFP_KERNEL); 
char *uml_strdup(char *string){	char *new;	new = kmalloc(strlen(string) + 1, GFP_KERNEL);	if(new == NULL) return(NULL);	strcpy(new, string);	return(new);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dfe52244e004f5103478966cd88351feb5c50d79/process_kern.c/buggy/arch/um/kernel/process_kern.c