diff options
Diffstat (limited to 'arch/arm/mm/mmu.c')
| -rw-r--r-- | arch/arm/mm/mmu.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/arm/mm/mmu.c b/arch/arm/mm/mmu.c index 1708da82da96..761ffede6a23 100644 --- a/arch/arm/mm/mmu.c +++ b/arch/arm/mm/mmu.c | |||
| @@ -1067,4 +1067,6 @@ void setup_mm_for_reboot(char mode) | |||
| 1067 | pmd[1] = __pmd(pmdval + (1 << (PGDIR_SHIFT - 1))); | 1067 | pmd[1] = __pmd(pmdval + (1 << (PGDIR_SHIFT - 1))); |
| 1068 | flush_pmd_entry(pmd); | 1068 | flush_pmd_entry(pmd); |
| 1069 | } | 1069 | } |
| 1070 | |||
| 1071 | local_flush_tlb_all(); | ||
| 1070 | } | 1072 | } |
