 hugetlb_mm_free_pgd(mm); 
void destroy_context(struct mm_struct *mm){	spin_lock(&mmu_context_lock);	idr_remove(&mmu_context_idr, mm->context.id);	spin_unlock(&mmu_context_lock);	mm->context.id = NO_CONTEXT;	hugetlb_mm_free_pgd(mm);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e28f7faf05159f1cfd564596f5e6178edba6bd49/init.c/buggy/arch/ppc64/mm/init.c