diff options
author | Shaokun Zhang <[email protected]> | 2019-02-14 17:33:49 +0800 |
---|---|---|
committer | Borislav Petkov <[email protected]> | 2019-02-14 17:09:43 +0100 |
commit | 8e8a3cea7ea5f5458fdf2287713626892e7715f5 (patch) | |
tree | 33507efcdb85ff3ddd15ad05a48aeb28612d0497 /scripts/gdb/linux/config.py | |
parent | 653a561bb2fd34e470594eb1bdba3357630e8df7 (diff) |
x86/mm/dump_pagetables: Remove the unused prev_pud variable
The 'prev_pud' local variable became unused after commit
04b67022fb6d ("x86/mm/dump_pagetables: Speed up page tables dump for CONFIG_KASAN=y").
Remove it.
Signed-off-by: Shaokun Zhang <[email protected]>
Signed-off-by: Borislav Petkov <[email protected]>
Cc: Andrey Ryabinin <[email protected]>
Cc: Andy Lutomirski <[email protected]>
Cc: Dave Hansen <[email protected]>
Cc: "H. Peter Anvin" <[email protected]>
Cc: Ingo Molnar <[email protected]>
Cc: Peter Zijlstra <[email protected]>
Cc: Thomas Gleixner <[email protected]>
Cc: x86-ml <[email protected]>
Link: https://lkml.kernel.org/r/[email protected]
Diffstat (limited to 'scripts/gdb/linux/config.py')
0 files changed, 0 insertions, 0 deletions