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 11:56:31 -0700 |
| commit | 48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1 (patch) | |
| tree | 4c83ec53b89bf5f05a6e65f7b332ac1ab4ef0983 /drivers/infiniband/hw | |
| parent | fd1102f0aadec7d18792b132e1d224290b2aecca (diff) | |
| download | linux-48a8b97cfd804a965fbbe7be2d56a7984ef6bdb1.tar.bz2 | |
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 'drivers/infiniband/hw')
0 files changed, 0 insertions, 0 deletions