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#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}