#ifndef _XEN_PAGE_H
#define _XEN_PAGE_H

#include <asm/xen/page.h>

extern phys_addr_t xen_extra_mem_start, xen_extra_mem_size;

extern unsigned long xen_released_pages;

#endif	/* _XEN_PAGE_H */