1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright 2018 NXP
4  */
5 
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>
14 
15 struct pass_over_info_t {
16 	u16 barker;
17 	u16 len;
18 	u32 g_bt_cfg_shadow;
19 	u32 card_address_mode;
20 	u32 bad_block_count_met;
21 	u32 g_ap_mu;
22 };
23 
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);
31 void imx8_power_off_pd_devices(const char *permanent_on_devices[], int size);
32 bool m4_parts_booted(void);
33