On Tue, 13 Mar 2018, Toshi Kani wrote: > 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 makes > 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. I have no idea to which branch this might apply. The first patch applies cleanly on linus head, but this one fails in hunk #2 on everything I tried. Can you please check? Thanks, tglx
