2011-01-24 06:22:23 +00:00
|
|
|
/*
|
|
|
|
|
* Copyright (C) 2010 Samsung Electrnoics
|
|
|
|
|
* Minkyu Kang <mk7.kang@samsung.com>
|
|
|
|
|
*
|
2013-07-08 07:37:19 +00:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2011-01-24 06:22:23 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#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
|
