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