diff --git a/arch/x86/kernel/head64.c b/arch/x86/kernel/head64.c index 58438bafedca3f1ceb972fd22cd2e1545d88a4ec..a317336cdeaaff2c52aff6f008e6b62447e6db19 100644 --- a/arch/x86/kernel/head64.c +++ b/arch/x86/kernel/head64.c @@ -27,7 +27,7 @@ static void __init zap_identity_mappings(void) { pgd_t *pgd = pgd_offset_k(0UL); pgd_clear(pgd); - __flush_tlb(); + __flush_tlb_all(); } /* Don't add a printk in there. printk relies on the PDA which is not initialized