#if defined(UML_CONFIG_UML_X86) && !defined(UML_CONFIG_64BIT) if (!strcmp(host.machine, "x86_64")) { strcpy(machine_out, "i686"); return; } #endif 
void setup_machinename(char *machine_out){	struct utsname host;	uname(&host);	strcpy(machine_out, host.machine);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8e5cb35a60c8792ffc3ba89ea66ebdd3c2f01cb1/user_util.c/clean/arch/um/kernel/user_util.c