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