#ifdef CONFIG_MODE_TT 
#ifdef CONFIG_CMDLINE_ON_HOST 
void set_cmdline(char *cmd){#ifdef CONFIG_MODE_TT	char *umid, *ptr;	if(CHOOSE_MODE(honeypot, 0)) return;	umid = get_umid(1);	if(umid != NULL){		snprintf(argv1_begin, 			 (argv1_end - argv1_begin) * sizeof(*ptr), 			 "(%s) ", umid);		ptr = &argv1_begin[strlen(argv1_begin)];	}	else ptr = argv1_begin;	snprintf(ptr, (argv1_end - ptr) * sizeof(*ptr), "[%s]", cmd);	memset(argv1_begin + strlen(argv1_begin), '\0', 	       argv1_end - argv1_begin - strlen(argv1_begin));#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0221575903ad68debea57679b5b46575bf57afb1/um_arch.c/clean/arch/um/kernel/um_arch.c