return vmalloc(size); 
return vmalloc_exec(size); 
void *module_alloc(unsigned long size){	if (size == 0)		return NULL;	return vmalloc(size);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5d01e6ce785884a5db5792cd2e5bb36fa82fe23c/module.c/clean/arch/cris/kernel/module.c