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

 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}