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