Peng Fan | 29c9dd3 | 2018-10-18 14:28:19 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0+ */ |
2 | /* | ||||
3 | * Copyright 2018 NXP | ||||
4 | */ | ||||
5 | |||||
6 | #include <asm/mach-imx/sys_proto.h> | ||||
7 | #include <linux/types.h> | ||||
8 | |||||
9 | enum boot_device get_boot_device(void); | ||||
10 | int print_bootinfo(void); |