On Mon, Dec 14, 2020 at 6:02 AM Richard Henderson <[email protected]> wrote: > > We are shortly going to have a split rw/rx jit buffer. Depending > on the host, we need to flush the dcache at the rw data pointer and > flush the icache at the rx code pointer. > > For now, the two passed pointers are identical, so there is no > effective change in behaviour. > > Reviewed-by: Alex Bennée <[email protected]> > Signed-off-by: Richard Henderson <[email protected]>
Reviewed-by: Joelle van Dyne <[email protected]>
