elf_aux_platform = auxv->a_un.a_ptr; 
/* elf.h removed the pointer elements from * a_un, so we have to use a_val, which is * all that's left. */ elf_aux_platform = (char *) auxv->a_un.a_val; 
__init void scan_elf_aux( char **envp){	long page_size = 0;	elf_auxv_t * auxv;	while ( *envp++ != NULL) ;	for ( auxv = (elf_auxv_t *)envp; auxv->a_type != AT_NULL; auxv++) {		switch ( auxv->a_type ) {			case AT_SYSINFO:				__kernel_vsyscall = auxv->a_un.a_val;				break;			case AT_SYSINFO_EHDR:				vsyscall_ehdr = auxv->a_un.a_val;				break;			case AT_HWCAP:				elf_aux_hwcap = auxv->a_un.a_val;				break;			case AT_PLATFORM:				elf_aux_platform = auxv->a_un.a_ptr;				break;			case AT_PAGESZ:				page_size = auxv->a_un.a_val;				break;		}	}	if ( ! __kernel_vsyscall || ! vsyscall_ehdr ||	     ! elf_aux_hwcap || ! elf_aux_platform ||	     ! page_size || (vsyscall_ehdr % page_size) ) {		__kernel_vsyscall = 0;		vsyscall_ehdr = 0;		elf_aux_hwcap = 0;		elf_aux_platform = "i586";	}	else {		vsyscall_end = vsyscall_ehdr + page_size;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/da00d9a5466558ccd9e7b7d04b13d7cb9160c876/elf_aux.c/buggy/arch/um/os-Linux/elf_aux.c