#ifndef _XEN_PAGE_H #define _XEN_PAGE_H #include <asm/xen/page.h> struct xen_memory_region { phys_addr_t start; phys_addr_t size; }; #define XEN_EXTRA_MEM_MAX_REGIONS 128 /* == E820MAX */ extern __initdata struct xen_memory_region xen_extra_mem[XEN_EXTRA_MEM_MAX_REGIONS]; extern unsigned long xen_released_pages; #endif /* _XEN_PAGE_H */