1b1d902a9SAdrian Alonso /*
2b1d902a9SAdrian Alonso  * Copyright (C) 2015 Freescale Semiconductor, Inc.
3b1d902a9SAdrian Alonso  *
4b1d902a9SAdrian Alonso  * SPDX-License-Identifier:	GPL-2.0+
5b1d902a9SAdrian Alonso  */
6b1d902a9SAdrian Alonso 
7552a848eSStefano Babic #include <asm/mach-imx/sys_proto.h>
81a8150d4SAdrian Alonso 
91a8150d4SAdrian Alonso void set_wdog_reset(struct wdog_regs *wdog);
10*c5c6f37aSUri Mashiach enum boot_device get_boot_device(void);
11