Out of curiosity, why is the address argument of that builtin a void *
rather than a const void * ? For the read-only case, const void *
seems like the right thing, and even for the read-write case, it makes
sense because the prefetch itself (presumably) doesn't change the
object being prefetched.
paul