On 10/23/23 01:22, Tsukasa OI wrote:
From: Tsukasa OI <research_tra...@irq.a4lg.com>
Because they are for all prefetch instructions, "prefetch" fits better
than "prefetchi".
But there's a significant difference between the cases. prefetch.i in
particular fetches into the icache. While prefetch.r and prefetch.w
would fetch into the data cache.
And I strongly suspect from an API standpoint we'll want to distinguish
each case from the others.
Unless Kito feels otherwise I would suggest keeping a distinct API
interface for each case.
Jeff
