if ((addr + len) >= 0x100000000UL) 
if ((addr + len) > 0x100000000UL) 
int prepare_hugepage_range(unsigned long addr, unsigned long len){	int err = 0;	if ( (addr+len) < addr )		return -EINVAL;	if (addr < 0x100000000UL)		err = open_low_hpage_areas(current->mm,					  LOW_ESID_MASK(addr, len));	if ((addr + len) >= 0x100000000UL)		err = open_high_hpage_areas(current->mm,					    HTLB_AREA_MASK(addr, len));	if (err) {		printk(KERN_DEBUG "prepare_hugepage_range(%lx, %lx)"		       " failed (lowmask: 0x%04hx, highmask: 0x%04hx)\n",		       addr, len,		       LOW_ESID_MASK(addr, len), HTLB_AREA_MASK(addr, len));		return err;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9a94c5793a7b44720f19ebb71b636bc9c31b44d8/hugetlbpage.c/clean/arch/powerpc/mm/hugetlbpage.c