i8xx_destroy_pages(phys_to_virt(curr->memory[0])); 
i8xx_destroy_pages(gart_to_virt(curr->memory[0])); 
static void intel_i810_free_by_type(struct agp_memory *curr){	agp_free_key(curr->key);	if(curr->type == AGP_PHYS_MEMORY) {		if (curr->page_count == 4)			i8xx_destroy_pages(phys_to_virt(curr->memory[0]));		else			agp_bridge->driver->agp_destroy_page(				 phys_to_virt(curr->memory[0]));		vfree(curr->memory);	}	kfree(curr);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/07eee78ea8ba2d0b7b20551c35a3e7dd158d50bb/intel-agp.c/clean/drivers/char/agp/intel-agp.c