|
@@ -458,11 +458,7 @@ static void __init pagetable_init(void)
|
|
|
{
|
|
{
|
|
|
pgd_t *pgd_base = swapper_pg_dir;
|
|
pgd_t *pgd_base = swapper_pg_dir;
|
|
|
|
|
|
|
|
- paravirt_pagetable_setup_start(pgd_base);
|
|
|
|
|
-
|
|
|
|
|
permanent_kmaps_init(pgd_base);
|
|
permanent_kmaps_init(pgd_base);
|
|
|
-
|
|
|
|
|
- paravirt_pagetable_setup_done(pgd_base);
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
#ifdef CONFIG_ACPI_SLEEP
|
|
#ifdef CONFIG_ACPI_SLEEP
|