static void *dma_alloc_pages(struct device *dev, unsigned gfp, unsigned order) 
static void *dma_alloc_pages(struct device *dev, gfp_t gfp, unsigned order) 
static void *dma_alloc_pages(struct device *dev, unsigned gfp, unsigned order){	struct page *page;	int node;	if (dev->bus == &pci_bus_type)		node = pcibus_to_node(to_pci_dev(dev)->bus);	else		node = numa_node_id();	page = alloc_pages_node(node, gfp, order);	return page ? page_address(page) : NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f80aabb03a33702d934fbc3c02fd96471816d82e/pci-gart.c/buggy/arch/x86_64/kernel/pci-gart.c