if (!PageLocked(page)) PAGE_BUG(page); 
BUG_ON(!PageLocked(page)); 
static int udf_adinicb_readpage(struct file *file, struct page * page){	struct inode *inode = page->mapping->host;	char *kaddr;	if (!PageLocked(page))		PAGE_BUG(page);	kaddr = kmap(page);	memset(kaddr, 0, PAGE_CACHE_SIZE);	memcpy(kaddr, UDF_I_DATA(inode) + UDF_I_LENEATTR(inode), inode->i_size);	flush_dcache_page(page);	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