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 
10 void sdelay(unsigned long loops);
11 u32 wait_on_value(u32 read_bit_mask, u32 match_value, void *read_addr,
12 		  u32 bound);
13 
14 #endif
15