#include <asm/sysreg.h>
#include <asm/trans_pgd.h>
#include <asm/virt.h>

#ifdef CONFIG_PTP
#include <linux/iee-func.h>
#endif

/*
 * Hibernate core relies on this value being 0 on resume, and marks it
 * __nosavedata assuming it will keep the resume kernel's '0' value. This
 * doesn't happen with either KASLR.
 *
 * defined as "__visible int in_suspend __nosavedata" in
 * kernel/power/hibernate.c
 */