| 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); | ||||