prefetch_write_many
void prefetch_write_many(void *);
prefetch_write_many((caddr_t)¤t[ix + 8]);
prefetch_write_many((caddr_t)&cached[ix + 8]);