1 /*
2  * Copyright (C) 2010 Samsung Electrnoics
3  * Minkyu Kang <mk7.kang@samsung.com>
4  *
5  * SPDX-License-Identifier:	GPL-2.0+
6  */
7 
8 #ifndef _SYS_PROTO_H_
9 #define _SYS_PROTO_H_
10 
11 u32 get_device_type(void);
12 void invalidate_dcache(u32);
13 void l2_cache_disable(void);
14 void l2_cache_enable(void);
15 
16 #endif
17