|
@@ -45,8 +45,7 @@ void __init setup_trampoline_page_table(void)
|
|
|
/* Copy kernel address range */
|
|
|
clone_pgd_range(trampoline_pg_dir + KERNEL_PGD_BOUNDARY,
|
|
|
swapper_pg_dir + KERNEL_PGD_BOUNDARY,
|
|
|
- min_t(unsigned long, KERNEL_PGD_PTRS,
|
|
|
- KERNEL_PGD_BOUNDARY));
|
|
|
+ KERNEL_PGD_PTRS);
|
|
|
|
|
|
/* Initialize low mappings */
|
|
|
clone_pgd_range(trampoline_pg_dir,
|