1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * PowerPC 64-bit swsusp implementation
4 *
5 * Copyright 2006 Johannes Berg <johannes@sipsolutions.net>
6 */
7
8#include <asm/iommu.h>
9#include <linux/irq.h>
10#include <linux/sched.h>
11#include <linux/interrupt.h>
12#include <linux/nmi.h>
13
14void do_after_copyback(void);
15
16void do_after_copyback(void)
17{
18	iommu_restore();
19	touch_softlockup_watchdog();
20	mb();
21}
22