diff options
author | Toshi Kani | 2018-03-14 14:59:32 -0600 |
---|---|---|
committer | Thomas Gleixner | 2018-03-15 15:27:47 +0100 |
commit | 565977a3d929fc4427769117a8ac976ec16776d5 (patch) | |
tree | db2bc7b3a8e0c16871320017dea03852d2206ba9 /mm | |
parent | 745dd37f9d67c75d6cf1a1bebfcca71bdeb7a34c (diff) |
x86/mm: Remove pointless checks in vmalloc_fault
vmalloc_fault() sets user's pgd or p4d from the kernel page table. Once
it's set, all tables underneath are identical. There is no point of
following the same page table with two separate pointers and make sure they
see the same with BUG().
Remove the pointless checks in vmalloc_fault(). Also rename the kernel
pgd/p4d pointers to pgd_k/p4d_k so that their names are consistent in the
file.
Suggested-by: Andy Lutomirski <luto@kernel.org>
Signed-off-by: Toshi Kani <toshi.kani@hpe.com>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-mm@kvack.org
Cc: Borislav Petkov <bp@alien8.de>
Cc: Gratian Crisan <gratian.crisan@ni.com>
Link: https://lkml.kernel.org/r/20180314205932.7193-1-toshi.kani@hpe.com
Diffstat (limited to 'mm')
0 files changed, 0 insertions, 0 deletions