prefetch_nr 1254 mm/page_alloc.c int prefetch_nr = 0; prefetch_nr 1300 mm/page_alloc.c if (prefetch_nr++ < pcp->batch)