1 /* SPDX-License-Identifier: GPL-2.0+ */
6 #include <asm/arch/sci/sci.h>
7 #include <asm/mach-imx/sys_proto.h>
8 #include <asm/arch/power-domain.h>
9 #include <dm/platdata.h>
10 #include <dm/device-internal.h>
11 #include <dm/device.h>
12 #include <power-domain.h>
13 #include <linux/types.h>
15 struct pass_over_info_t {
19 u32 card_address_mode;
20 u32 bad_block_count_met;
24 extern unsigned long boot_pointer[];
25 void build_info(void);
26 enum boot_device get_boot_device(void);
27 int print_bootinfo(void);
28 int sc_pm_setup_uart(sc_rsrc_t uart_rsrc, sc_pm_clock_rate_t clk_rate);
29 int imx8_power_domain_lookup_name(const char *name,
30 struct power_domain *power_domain);