if (mmu_psize_defs[mmu_huge_psize].shift > 16 && mmu_psize_defs[mmu_huge_psize].shift < 28) 
if (mmu_psize_defs[mmu_huge_psize].shift > MIN_HUGEPTE_SHIFT && mmu_psize_defs[mmu_huge_psize].shift < SID_SHIFT) 
static void __init htab_init_page_sizes(void){	int rc;	/* Default to 4K pages only */	memcpy(mmu_psize_defs, mmu_psize_defaults_old,	       sizeof(mmu_psize_defaults_old));	/*	 * Try to find the available page sizes in the device-tree	 */	rc = of_scan_flat_dt(htab_dt_scan_page_sizes, NULL);	if (rc != 0)  /* Found */		goto found;	/*	 * Not in the device-tree, let's fallback on known size	 * list for 16M capable GP & GR	 */	if ((systemcfg->platform != PLATFORM_ISERIES_LPAR) &&	    cpu_has_feature(CPU_FTR_16M_PAGE))		memcpy(mmu_psize_defs, mmu_psize_defaults_gp,		       sizeof(mmu_psize_defaults_gp)); found:	/*	 * Pick a size for the linear mapping. Currently, we only support	 * 16M, 1M and 4K which is the default	 */	if (mmu_psize_defs[MMU_PAGE_16M].shift)		mmu_linear_psize = MMU_PAGE_16M;	else if (mmu_psize_defs[MMU_PAGE_1M].shift)		mmu_linear_psize = MMU_PAGE_1M;	/*	 * Pick a size for the ordinary pages. Default is 4K, we support	 * 64K if cache inhibited large pages are supported by the	 * processor	 */#ifdef CONFIG_PPC_64K_PAGES	if (mmu_psize_defs[MMU_PAGE_64K].shift &&	    cpu_has_feature(CPU_FTR_CI_LARGE_PAGE))		mmu_virtual_psize = MMU_PAGE_64K;#endif	printk(KERN_INFO "Page orders: linear mapping = %d, others = %d\n",	       mmu_psize_defs[mmu_linear_psize].shift,	       mmu_psize_defs[mmu_virtual_psize].shift);#ifdef CONFIG_HUGETLB_PAGE	/* Init large page size. Currently, we pick 16M or 1M depending	 * on what is available	 */	if (mmu_psize_defs[MMU_PAGE_16M].shift)		mmu_huge_psize = MMU_PAGE_16M;	else if (mmu_psize_defs[MMU_PAGE_1M].shift)		mmu_huge_psize = MMU_PAGE_1M;	/* Calculate HPAGE_SHIFT and sanity check it */	if (mmu_psize_defs[mmu_huge_psize].shift > 16 &&	    mmu_psize_defs[mmu_huge_psize].shift < 28)		HPAGE_SHIFT = mmu_psize_defs[mmu_huge_psize].shift;	else		HPAGE_SHIFT = 0; /* No huge pages dude ! */#endif /* CONFIG_HUGETLB_PAGE */}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7d24f0b8a53261709938ffabe3e00f88f6498df9/hash_utils_64.c/buggy/arch/powerpc/mm/hash_utils_64.c