virt_to_phys(addr)) | ALI_CACHE_FLUSH_EN)); 
virt_to_gart(addr)) | ALI_CACHE_FLUSH_EN)); 
static void m1541_destroy_page(void * addr){	u32 temp;	if (addr == NULL)		return;	global_cache_flush();	pci_read_config_dword(agp_bridge->dev, ALI_CACHE_FLUSH_CTRL, &temp);	pci_write_config_dword(agp_bridge->dev, ALI_CACHE_FLUSH_CTRL,			(((temp & ALI_CACHE_FLUSH_ADDR_MASK) |			  virt_to_phys(addr)) | ALI_CACHE_FLUSH_EN));	agp_generic_destroy_page(addr);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/07eee78ea8ba2d0b7b20551c35a3e7dd158d50bb/ali-agp.c/clean/drivers/char/agp/ali-agp.c