1 /* SPDX-License-Identifier: GPL-2.0+ */
6 #include <firmware/imx/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 int print_bootinfo(void);
27 int sc_pm_setup_uart(sc_rsrc_t uart_rsrc
, sc_pm_clock_rate_t clk_rate
);
28 int imx8_power_domain_lookup_name(const char *name
,
29 struct power_domain
*power_domain
);
30 void imx8_power_off_pd_devices(const char *permanent_on_devices
[], int size
);
31 bool m4_parts_booted(void);