page_32_types.h    4 arch/x86/include/asm/page_32.h #include <asm/page_32_types.h>
page_32_types.h   44 arch/x86/include/asm/page_types.h #include <asm/page_32_types.h>