On Tue, 21 Jun 2022 at 02:51, Richard Henderson
wrote:
>
> Combine the two files into cacheflush.c. There's a couple of bits
> that would be helpful to share between the two, and combining them
> seems better than exporting the bits.
>
> Signed-off-by: Richard Henderson
> ---
Reviewed-by: Peter
Combine the two files into cacheflush.c. There's a couple of bits
that would be helpful to share between the two, and combining them
seems better than exporting the bits.
Signed-off-by: Richard Henderson
---
util/cacheflush.c | 202 +-
util/cacheinfo.
