x86: another user of PTE_FLAGS_MASK
authorJeremy Fitzhardinge <jeremy@goop.org>
Tue, 19 Aug 2008 20:10:07 +0000 (13:10 -0700)
committerIngo Molnar <mingo@elte.hu>
Wed, 20 Aug 2008 10:38:41 +0000 (12:38 +0200)
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found