1 // SPDX-License-Identifier: GPL-2.0 2 #include <asm/tlbflush.h> 3 4 extern int restore_image(void); 5 6 int swsusp_arch_resume(void) 7 { 8 /* Avoid TLB mismatch during and after kernel resume */ 9 local_flush_tlb_all(); 10 return restore_image(); 11 } 12