1*cd357ad1SPeng Fan /* SPDX-License-Identifier: GPL-2.0+ */
2*cd357ad1SPeng Fan /*
3*cd357ad1SPeng Fan  * Copyright (C) 2017 NXP
4*cd357ad1SPeng Fan  */
5*cd357ad1SPeng Fan 
6*cd357ad1SPeng Fan #ifndef __ARCH_IMX8M_SYS_PROTO_H
7*cd357ad1SPeng Fan #define __ARCH_NMX8M_SYS_PROTO_H
8*cd357ad1SPeng Fan 
9*cd357ad1SPeng Fan #include <asm/mach-imx/sys_proto.h>
10*cd357ad1SPeng Fan 
11*cd357ad1SPeng Fan void set_wdog_reset(struct wdog_regs *wdog);
12*cd357ad1SPeng Fan void enable_tzc380(void);
13*cd357ad1SPeng Fan void restore_boot_params(void);
14*cd357ad1SPeng Fan extern unsigned long rom_pointer[];
15*cd357ad1SPeng Fan enum boot_device get_boot_device(void);
16*cd357ad1SPeng Fan bool is_usb_boot(void);
17*cd357ad1SPeng Fan #endif
18