|
@@ -1843,13 +1843,15 @@ __init pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd,
|
|
|
return pgd;
|
|
|
}
|
|
|
#else /* !CONFIG_X86_64 */
|
|
|
-static pmd_t level2_kernel_pgt[PTRS_PER_PMD] __page_aligned_bss;
|
|
|
+static RESERVE_BRK_ARRAY(pmd_t, level2_kernel_pgt, PTRS_PER_PMD);
|
|
|
|
|
|
__init pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd,
|
|
|
unsigned long max_pfn)
|
|
|
{
|
|
|
pmd_t *kernel_pmd;
|
|
|
|
|
|
+ level2_kernel_pgt = extend_brk(sizeof(pmd_t *) * PTRS_PER_PMD, PAGE_SIZE);
|
|
|
+
|
|
|
max_pfn_mapped = PFN_DOWN(__pa(xen_start_info->pt_base) +
|
|
|
xen_start_info->nr_pt_frames * PAGE_SIZE +
|
|
|
512*1024);
|