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

Reply via email to