tree 592f73a4251749c238adacc775d0741291e91006
parent 0a4af3b09309049d8560f8ad558a1337bb4f7f32
author Jeremy Fitzhardinge <jeremy@goop.org> 1233954301 -0800
committer Vegard Nossum <vegard.nossum@gmail.com> 1245073759 +0200

x86: make _PAGE_HIDDEN conditional

Only _PAGE_HIDDEN when CONFIG_KMEMCHECK is defined, otherwise set it
to 0.  Allows later cleanups.

Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>

[rebased for mainline inclusion]
Signed-off-by: Vegard Nossum <vegard.nossum@gmail.com>