Make generic TLB shootdown friendlier to non-x86 architectures
3 files changed