void *__vmalloc(unsigned long size, int gfp_mask, pgprot_t prot) 
void *__vmalloc(unsigned long size, unsigned int __nocast gfp_mask, pgprot_t prot) 
void *__vmalloc(unsigned long size, int gfp_mask, pgprot_t prot){	/*	 * kmalloc doesn't like __GFP_HIGHMEM for some reason	 */	return kmalloc(size, gfp_mask & ~__GFP_HIGHMEM);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7a019225c797a1047470accee950d69cfe7c59c5/nommu.c/buggy/mm/nommu.c