| Jeremy Fitzhardinge | 9be4d45 | 2010-08-31 15:01:16 -0700 | [diff] [blame] | 1 | #ifndef _XEN_PAGE_H |
| 2 | #define _XEN_PAGE_H |
| 3 | |
| Isaku Yamahata | 20e71f2 | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 4 | #include <asm/xen/page.h> |
| Jeremy Fitzhardinge | 9be4d45 | 2010-08-31 15:01:16 -0700 | [diff] [blame] | 5 | |
| 6 | extern phys_addr_t xen_extra_mem_start, xen_extra_mem_size; |
| 7 | |
| David Vrabel | aa24411 | 2011-09-28 17:46:32 +0100 | [diff] [blame^] | 8 | extern unsigned long xen_released_pages; |
| 9 | |
| Jeremy Fitzhardinge | 9be4d45 | 2010-08-31 15:01:16 -0700 | [diff] [blame] | 10 | #endif /* _XEN_PAGE_H */ |