James Carlson wrote: > > void prefetch_read_once(void *) > void prefetch_read_many(void *) > void prefetch_wrote_once(void *) > void prefetch_write_many(void *) > > (With the odd write/wrote distinction and with the arguments not > const'd the way I would ordinarily have expected.) > > Is this it? >
It should be prefetch_write_once(void *) and I don't believe const is appropriate here since the pointers are most likely to be to data that would ordinarily change (DMA buffers in my use case). Paul