kmem_cache_free(zero_cache, pmd); 
kmem_cache_free(pgtable_cache[PMD_CACHE_NUM], pmd); 
pmd_free(pmd_t *pmd){	kmem_cache_free(zero_cache, pmd);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e28f7faf05159f1cfd564596f5e6178edba6bd49/pgalloc.h/buggy/include/asm-ppc64/pgalloc.h