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