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

 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}