/* allocate pages in the DMA region for the ISA pool  */
static void* mempool_alloc_pages_isa(gfp_t gfp_mask, void *data)
/* allocate pages in the DMA region for the ISA pool  */
static void* mempool_alloc_pages_isa(gfp_t gfp_mask, void *data)
{
	return mempool_alloc_pages(gfp_mask | GFP_DMA, data);
}