Re: [PATCH v4 04/43] util: Specialize flush_idcache_range for aarch64

On Mon, Dec 14, 2020 at 6:03 AM Richard Henderson wrote: > > For darwin, the CTR_EL0 register is not accessible, but there > are system routines that we can use. > > For other hosts, copy the single pointer implementation from > libgcc and modify it to support the double pointer interface > we

[PATCH v4 04/43] util: Specialize flush_idcache_range for aarch64

For darwin, the CTR_EL0 register is not accessible, but there are system routines that we can use. For other hosts, copy the single pointer implementation from libgcc and modify it to support the double pointer interface we require. This halves the number of cache operations required when