2010-09-01 02:01:16 +04:00
|
|
|
#ifndef _XEN_PAGE_H
|
|
|
|
#define _XEN_PAGE_H
|
|
|
|
|
2008-04-02 21:53:58 +04:00
|
|
|
#include <asm/xen/page.h>
|
2010-09-01 02:01:16 +04:00
|
|
|
|
2011-09-28 20:46:34 +04:00
|
|
|
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];
|
2010-09-01 02:01:16 +04:00
|
|
|
|
2011-09-28 20:46:32 +04:00
|
|
|
extern unsigned long xen_released_pages;
|
|
|
|
|
2010-09-01 02:01:16 +04:00
|
|
|
#endif /* _XEN_PAGE_H */
|