isa_page_pool = mempool_create(ISA_POOL_SIZE, page_pool_alloc, page_pool_free, (void *) __GFP_DMA); 
isa_page_pool = mempool_create(ISA_POOL_SIZE, page_pool_alloc_isa, page_pool_free, NULL); 
int init_emergency_isa_pool(void){	if (isa_page_pool)		return 0;	isa_page_pool = mempool_create(ISA_POOL_SIZE, page_pool_alloc, page_pool_free, (void *) __GFP_DMA);	if (!isa_page_pool)		BUG();	printk("isa bounce pool size: %d pages\n", ISA_POOL_SIZE);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/260b23674fdb570f3235ce55892246bef1c24c2a/highmem.c/clean/mm/highmem.c