On Mon, Nov 04, 2019 at 01:32:53PM +1100, Alastair D'Silva wrote:
When calling flush_icache_range with a size >4GB, we were masking off the upper 32 bits, so we would incorrectly flush a range smaller than intended.
This patch replaces the 32 bit shifts with 64 bit ones, so that the full size is accounted for.
Please send this separately, to be committed right now? It is a bug fix, independent of the rest of the series.
Segher