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