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){	struct vm_struct *area;	size = PAGE_ALIGN(size);	if (!size || (size >> PAGE_SHIFT) > num_physpages)		return NULL;	area = get_vm_area(size, VM_ALLOC);	if (!area)		return NULL;	return __vmalloc_area(area, gfp_mask, prot);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/vmalloc.c/clean/mm/vmalloc.c