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