global_flush_tlb(); 
flush_agp_mappings(); 
void agp_free_memory(struct agp_memory *curr){	size_t i;	if (curr == NULL)		return;	if (curr->is_bound == TRUE)		agp_unbind_memory(curr);	if (curr->type != 0) {		curr->bridge->driver->free_by_type(curr);		return;	}	if (curr->page_count != 0) {		for (i = 0; i < curr->page_count; i++) {			curr->bridge->driver->agp_destroy_page(gart_to_virt(curr->memory[i]));		}		global_flush_tlb();	}	agp_free_key(curr->key);	vfree(curr->memory);	kfree(curr);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6730c3c14421b7c924d06e31bb66e0adad225547/generic.c/clean/drivers/char/agp/generic.c