1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2018 Texas Instruments Incorporated - http://www.ti.com/
4 * Andreas Dannenberg <dannenberg@ti.com>
10 void sdelay(unsigned long loops);
11 u32 wait_on_value(u32 read_bit_mask, u32 match_value, void *read_addr,
13 struct ti_sci_handle *get_ti_sci_handle(void);
14 int fdt_fixup_msmc_ram(void *blob, char *parent_path, char *node_name);
15 int do_board_detect(void);
16 void release_resources_for_core_shutdown(void);
17 int fdt_disable_node(void *blob, char *node_path);
19 bool soc_is_j721e(void);
20 bool soc_is_j7200(void);
22 void k3_spl_init(void);
23 void k3_mem_init(void);
24 bool check_rom_loaded_sysfw(void);