Fix this warning: include/linux/prefetch.h: In function `prefetch_range': include/linux/prefetch.h:62: warning: pointer of type `void *' used in arithmetic -- Brian Gerst