DBG("Allocating page table cache %s (#%d) " "for size: %08x...\n", name, i, size); 
void pgtable_cache_init(void){	int i;	for (i = 0; i < ARRAY_SIZE(pgtable_cache_size); i++) {		int size = pgtable_cache_size[i];		const char *name = pgtable_cache_name[i];		pgtable_cache[i] = kmem_cache_create(name,						     size, size,						     SLAB_HWCACHE_ALIGN |						     SLAB_MUST_HWCACHE_ALIGN,						     zero_ctor,						     NULL);		if (! pgtable_cache[i])			panic("pgtable_cache_init(): could not create %s!\n",			      name);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/87655ff26817993932b7d049c4df226fb2c0ac5f/init_64.c/buggy/arch/powerpc/mm/init_64.c