1 /*
2  * Copyright (C) 2015 Freescale Semiconductor, Inc.
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #include <asm/mach-imx/sys_proto.h>
8 
9 void set_wdog_reset(struct wdog_regs *wdog);
10 enum boot_device get_boot_device(void);
11