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! Thanks, Björn
