/* FIXME: If module_region == mod->init_region, trim exception table entries. */ 
void module_free(struct module *mod, void *module_region){	vfree(module_region);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/23352fc252495fdc072b3bd29f57c4c6b7a6bd83/module.c/clean/arch/x86_64/kernel/module.c