diff options
| author | Borislav Petkov <bp@suse.de> | 2017-11-03 11:20:28 +0100 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2017-11-06 09:50:14 +0100 |
| commit | c7da092a1f243bfd1bfb4124f538e69e941882da (patch) | |
| tree | ee5477af1c6b9586871b4f129c001ee2bb35ede1 /scripts/Makefile.build | |
| parent | 75ec4eb3dc84ee78533bd59bbb71992187bd86fd (diff) | |
x86/mm: Define _PAGE_TABLE using _KERNPG_TABLE
... so that the difference is obvious.
No functionality change.
Signed-off-by: Borislav Petkov <bp@suse.de>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Link: http://lkml.kernel.org/r/20171103102028.20284-1-bp@alien8.de
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'scripts/Makefile.build')
0 files changed, 0 insertions, 0 deletions