1 // SPDX-License-Identifier: GPL-2.0
2 #include <asm/tlbflush.h>
3 
4 extern int restore_image(void);
5 
swsusp_arch_resume(void)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