1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (C) 2018 Texas Instruments Incorporated - http://www.ti.com/ 4 * Andreas Dannenberg <dannenberg@ti.com> 5 */ 6 7#ifndef _SYS_PROTO_H_ 8#define _SYS_PROTO_H_ 9 10void sdelay(unsigned long loops); 11u32 wait_on_value(u32 read_bit_mask, u32 match_value, void *read_addr, 12 u32 bound); 13struct ti_sci_handle *get_ti_sci_handle(void); 14int fdt_fixup_msmc_ram(void *blob, char *parent_path, char *node_name); 15int do_board_detect(void); 16void release_resources_for_core_shutdown(void); 17int fdt_disable_node(void *blob, char *node_path); 18 19bool soc_is_j721e(void); 20bool soc_is_j7200(void); 21 22#endif 23