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>
parent
56cefcea
Please register or sign in to comment
To properly pick up details like PTE_FLAGS_MASK.
Signed-off-by: Ingo Molnar <mingo@elte.hu>