tree ce45e7ae0a539de07e78c198fb57b2275e338f74
parent 56cefcea7c8769ffc04a5609e6ac849e36685468
author Ingo Molnar <mingo@elte.hu> 1234527859 +0100
committer Ingo Molnar <mingo@elte.hu> 1234527859 +0100

x86 headers: include page_types.h in pgtable_types.h

To properly pick up details like PTE_FLAGS_MASK.

Signed-off-by: Ingo Molnar <mingo@elte.hu>