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