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 */ 14 bool is_warm_boot(void); 15 16 /* disable console output */ 17 void fsl_dp_disable_console(void); 18 19 /* clean up everything and jump to kernel */ 20 int fsl_dp_resume(void); 21 #endif 22