if( num_page_isolate == MAX_PAGE_ISOLATE ) 
if (num_page_isolate == MAX_PAGE_ISOLATE) 
mca_page_isolate(unsigned long paddr){	int i;	struct page *p;	/* whether physical address is valid or not */	if ( !ia64_phys_addr_valid(paddr) ) 		return ISOLATE_NG;	/* convert physical address to physical page number */	p = pfn_to_page(paddr>>PAGE_SHIFT);	/* check whether a page number have been already registered or not */	for( i = 0; i < num_page_isolate; i++ )		if( page_isolate[i] == p )			return ISOLATE_OK; /* already listed */	/* limitation check */	if( num_page_isolate == MAX_PAGE_ISOLATE ) 		return ISOLATE_NG;	/* kick pages having attribute 'SLAB' or 'Reserved' */	if( PageSlab(p) || PageReserved(p) ) 		return ISOLATE_NG;	/* add attribute 'Reserved' and register the page */	SetPageReserved(p);	page_isolate[num_page_isolate++] = p;	return ISOLATE_OK;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20305e59724381365096b6ab0a48054723367c80/mca_drv.c/buggy/arch/ia64/kernel/mca_drv.c