Re: [PATCH] x86 headers: include linux/types.h

[Ingo Molnar]

Regarding the fixlet below - wouldnt PTE_FLAGS_MASK be better placed in
pgtable_types.h ? It's specifically related to the pte format. OTOH we
have a lot of PTE details in the page_*types.h files already.

The boundary between page_types.h and pgtable_types.h does not seem to
be clear to me - what is the principle you followed?

	Ingo

----------------------->