if (zone_bits & (__force int)__GFP_DMA32) res = ZONE_DMA32; 
static inline int highest_zone(int zone_bits){	int res = ZONE_NORMAL;	if (zone_bits & (__force int)__GFP_HIGHMEM)		res = ZONE_HIGHMEM;	if (zone_bits & (__force int)__GFP_DMA)		res = ZONE_DMA;	return res;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a2f1b424900715ed9d1699c3bb88a434a2b42bc0/page_alloc.c/clean/mm/page_alloc.c