On Wed, 8 Jan 2020 at 11:23, Toke Høiland-Jørgensen <toke@xxxxxxxxxx> wrote: > > Björn Töpel <bjorn.topel@xxxxxxxxx> writes: > > > On Tue, 7 Jan 2020 at 18:58, John Fastabend <john.fastabend@xxxxxxxxx> wrote: > >> > > [...] > >> __dev_flush()? > >> > > [...] > >> > >> Looks good changing the function name would make things a bit cleaner IMO. > >> > > > > Hmm, I actually prefer the _map_ naming, since it's more clear that > > "entries from the devmap" are being flushed -- but dev_flush() works > > as well! :-) I can send a follow-up with the name change! > > Or I can just change it at the point where I'm adding support for > non-map redirect (which is when the _map suffix stops being accurate)? :) > Even better! :-) Thanks! Björn
