diff options
| author | Peter Zijlstra <peterz@infradead.org> | 2018-08-22 17:30:16 +0200 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2018-08-23 20:56:31 +0200 |
| commit | 48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1 (patch) | |
| tree | 4c83ec53b89bf5f05a6e65f7b332ac1ab4ef0983 /arch/arm | |
| parent | mm: mmu_notifier fix for tlb_end_vma (diff) | |
| download | linux-48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1.tar.xz linux-48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1.zip | |
x86/mm: Only use tlb_remove_table() for paravirt
If we don't use paravirt; don't play unnecessary and complicated games
to free page-tables.
Suggested-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Rik van Riel <riel@surriel.com>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'arch/arm')
0 files changed, 0 insertions, 0 deletions