|
@@ -52,6 +52,8 @@ phys_addr_t xen_extra_mem_start, xen_extra_mem_size;
|
|
|
|
|
|
static __init void xen_add_extra_mem(unsigned long pages)
|
|
|
{
|
|
|
+ unsigned long pfn;
|
|
|
+
|
|
|
u64 size = (u64)pages * PAGE_SIZE;
|
|
|
u64 extra_start = xen_extra_mem_start + xen_extra_mem_size;
|
|
|
|
|
@@ -66,6 +68,9 @@ static __init void xen_add_extra_mem(unsigned long pages)
|
|
|
xen_extra_mem_size += size;
|
|
|
|
|
|
xen_max_p2m_pfn = PFN_DOWN(extra_start + size);
|
|
|
+
|
|
|
+ for (pfn = PFN_DOWN(extra_start); pfn <= xen_max_p2m_pfn; pfn++)
|
|
|
+ __set_phys_to_machine(pfn, INVALID_P2M_ENTRY);
|
|
|
}
|
|
|
|
|
|
static unsigned long __init xen_release_chunk(phys_addr_t start_addr,
|
|
@@ -104,7 +109,7 @@ static unsigned long __init xen_release_chunk(phys_addr_t start_addr,
|
|
|
WARN(ret != 1, "Failed to release memory %lx-%lx err=%d\n",
|
|
|
start, end, ret);
|
|
|
if (ret == 1) {
|
|
|
- set_phys_to_machine(pfn, INVALID_P2M_ENTRY);
|
|
|
+ __set_phys_to_machine(pfn, INVALID_P2M_ENTRY);
|
|
|
len++;
|
|
|
}
|
|
|
}
|