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}