#include <../../arm/include/asm/xen/page.h>