if (unlikely(!PageLocked(page))) PAGE_BUG(page); 
BUG_ON(!PageLocked(page)); 
void remove_from_page_cache(struct page *page){	struct address_space *mapping = page->mapping;	if (unlikely(!PageLocked(page)))		PAGE_BUG(page);	write_lock_irq(&mapping->tree_lock);	__remove_from_page_cache(page);	write_unlock_irq(&mapping->tree_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cd7619d6bf36564cf54ff7218ef54e558a741913/filemap.c/clean/mm/filemap.c