if (!PageLocked(pg)) PAGE_BUG(pg); 
BUG_ON(!PageLocked(pg)); 
static int jffs2_do_readpage_nolock (struct inode *inode, struct page *pg){	struct jffs2_inode_info *f = JFFS2_INODE_INFO(inode);	struct jffs2_sb_info *c = JFFS2_SB_INFO(inode->i_sb);	unsigned char *pg_buf;	int ret;	D2(printk(KERN_DEBUG "jffs2_do_readpage_nolock(): ino #%lu, page at offset 0x%lx\n", inode->i_ino, pg->index << PAGE_CACHE_SHIFT));	if (!PageLocked(pg))                PAGE_BUG(pg);	pg_buf = kmap(pg);	/* FIXME: Can kmap fail? */	ret = jffs2_read_inode_range(c, f, pg_buf, pg->index << PAGE_CACHE_SHIFT, PAGE_CACHE_SIZE);	if (ret) {		ClearPageUptodate(pg);		SetPageError(pg);	} else {		SetPageUptodate(pg);		ClearPageError(pg);	}	flush_dcache_page(pg);	kunmap(pg);	D2(printk(KERN_DEBUG "readpage finished\n"));	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cd7619d6bf36564cf54ff7218ef54e558a741913/file.c/buggy/fs/jffs2/file.c