On Wed, May 14, 2014 at 02:52:29PM +0200, Tomasz Nowicki wrote:
I am aiming ARM64 but ideally it should work for x86, arm64 and arm.
I guess you can call it local_flush_tlb_one() which calls __flush_tlb_one() on x86 and flush_tlb_kernel_range() on arm*
A bunch of other arches have local_flush_tlb_one so going with that naming might be on the right track :)