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 :) -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html