> When memory is unmapped, caches of memory mappings of other threads are discarded, via inter-core interrupts. ARM architecture does not need to interrupt for

> When memory is unmapped, caches of memory mappings of other threads are discarded, via inter-core interrupts. ARM architecture does not need to interrupt for TLB shootdown.