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