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