18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci#include <asm/tlbflush.h> 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_ciextern int restore_image(void); 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciint swsusp_arch_resume(void) 78c2ecf20Sopenharmony_ci{ 88c2ecf20Sopenharmony_ci /* Avoid TLB mismatch during and after kernel resume */ 98c2ecf20Sopenharmony_ci local_flush_tlb_all(); 108c2ecf20Sopenharmony_ci return restore_image(); 118c2ecf20Sopenharmony_ci} 12