if (!PageLocked(page)) PAGE_BUG(page); 
BUG_ON(!PageLocked(page)); 
static int udf_adinicb_writepage(struct page *page, struct writeback_control *wbc){	struct inode *inode = page->mapping->host;	char *kaddr;	if (!PageLocked(page))		PAGE_BUG(page);	kaddr = kmap(page);	memcpy(UDF_I_DATA(inode) + UDF_I_LENEATTR(inode), kaddr, inode->i_size);	mark_inode_dirty(inode);	SetPageUptodate(page);	kunmap(page);	unlock_page(page);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cd7619d6bf36564cf54ff7218ef54e558a741913/file.c/clean/fs/udf/file.c