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