1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright 2014 Freescale Semiconductor, Inc. 4 */ 5 6#ifndef __SLEEP_H 7#define __SLEEP_H 8 9#define DCFG_CCSR_CRSTSR_WDRFR (1 << 3) 10#define DDR_BUFF_LEN 128 11 12/* determine if it is a wakeup from deep sleep */ 13bool is_warm_boot(void); 14 15/* disable console output */ 16void fsl_dp_disable_console(void); 17 18/* clean up everything and jump to kernel */ 19int fsl_dp_resume(void); 20#endif 21