static cas_page_t *cas_page_alloc(struct cas *cp, const int flags) 
static cas_page_t *cas_page_alloc(struct cas *cp, const gfp_t flags) 
static cas_page_t *cas_page_alloc(struct cas *cp, const int flags){	cas_page_t *page;	page = kmalloc(sizeof(cas_page_t), flags);	if (!page)		return NULL;	INIT_LIST_HEAD(&page->list);	RX_USED_SET(page, 0);	page->buffer = alloc_pages(flags, cp->page_order);	if (!page->buffer)		goto page_err;	page->dma_addr = pci_map_page(cp->pdev, page->buffer, 0,				      cp->page_size, PCI_DMA_FROMDEVICE);	return page;page_err:	kfree(page);	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9e24974db6b01ec067c24de09588282b6a1407f0/cassini.c/buggy/drivers/net/cassini.c