BUG_ON(!PageSwapCache(page)); BUG_ON(!PageLocked(page)); BUG_ON(PageWriteback(page)); BUG_ON(PagePrivate(page));  
void delete_from_swap_cache(struct page *page){	swp_entry_t entry;	BUG_ON(!PageSwapCache(page));	BUG_ON(!PageLocked(page));	BUG_ON(PageWriteback(page));	BUG_ON(PagePrivate(page));  	entry.val = page->private;	write_lock_irq(&swapper_space.tree_lock);	__delete_from_swap_cache(page);	write_unlock_irq(&swapper_space.tree_lock);	swap_free(entry);	page_cache_release(page);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3279ffd97f1b3962e40d3c5f09495ef8320b180b/swap_state.c/buggy/mm/swap_state.c