/* Prefetching cachelines help hardware performance. (Strictly a performance enhancement. Not functionally required).  */
static void prefetch_data(void *p, int num, int stride)
/* Prefetching cachelines help hardware performance. (Strictly a performance enhancement. Not functionally required).  */
static void prefetch_data(void *p, int num, int stride)
{
	while (num-- > 0) {
		prefetchw(p);
		p += stride;
	}
}