#ifdef __KERNEL__
# ifdef CONFIG_X86_32
#   ifdef CONFIG_XEN
#     include "xen/page_32.h"
#   else
#       include "page_32.h"
#   endif
# else
#    ifdef CONFIG_XEN
#        include "xen/page_64.h"
#    else
#        include "page_64.h"
#    endif
# endif
#else
# ifdef __i386__
#   ifdef CONFIG_XEN
#     include "xen/page_32.h"
#   else
#       include "page_32.h"
#   endif
# else
#    ifdef CONFIG_XEN
#        include "xen/page_64.h"
#    else
#        include "page_64.h"
#    endif
#endif
#endif