diff options
author | Peter Zijlstra <peterz@infradead.org> | 2018-08-22 18:30:16 +0300 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2018-08-23 21:56:31 +0300 |
commit | 48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1 (patch) | |
tree | 4c83ec53b89bf5f05a6e65f7b332ac1ab4ef0983 /arch/arm/boot/dts/rk3xxx.dtsi | |
parent | fd1102f0aadec7d18792b132e1d224290b2aecca (diff) | |
download | linux-48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1.tar.xz |
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/boot/dts/rk3xxx.dtsi')
0 files changed, 0 insertions, 0 deletions