/*
|
* Copyright (C) 2010 Samsung Electrnoics
|
* Minkyu Kang <mk7.kang@samsung.com>
|
*
|
* SPDX-License-Identifier: GPL-2.0+
|
*/
|
|
#ifndef _SYS_PROTO_H_
|
#define _SYS_PROTO_H_
|
|
u32 get_device_type(void);
|
void invalidate_dcache(u32);
|
void l2_cache_disable(void);
|
void l2_cache_enable(void);
|
|
#endif
|
