|
@@ -39,6 +39,7 @@ void xen_reserve_top(void);
|
|
|
void xen_mm_pin_all(void);
|
|
void xen_mm_pin_all(void);
|
|
|
void xen_mm_unpin_all(void);
|
|
void xen_mm_unpin_all(void);
|
|
|
|
|
|
|
|
|
|
+bool __init xen_is_e820_reserved(phys_addr_t start, phys_addr_t size);
|
|
|
unsigned long __ref xen_chk_extra_mem(unsigned long pfn);
|
|
unsigned long __ref xen_chk_extra_mem(unsigned long pfn);
|
|
|
void __init xen_inv_extra_mem(void);
|
|
void __init xen_inv_extra_mem(void);
|
|
|
void __init xen_remap_memory(void);
|
|
void __init xen_remap_memory(void);
|