* Borislav Petkov <b...@suse.de> wrote: > > + */ > > +void initialize_tlbstate_and_flush(void) > > I think we should prefix all those visible, TLB-handling functions with > "tlb_". So you'd have tlb_init_state_and_flush().
Agreed absolutely, but note that this affects more functions as well - for
example
enter_lazy_tlb() should probably be tlb_lazy_enter() - or at least
lazy_tlb_enter() or such?
Thanks,
Ingo
