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