1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 2006,2007 by Greg White
12 * All files in this archive are subject to the GNU General Public License.
13 * See the file COPYING in the source tree root for full license agreement.
15 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
16 * KIND, either express or implied.
18 ****************************************************************************/
20 /* Invalidate DCache for this range */
21 /* Will do write back */
22 void invalidate_dcache_range(const void *base
, unsigned int size
);
24 /* clean DCache for this range */
25 /* forces DCache writeback for the specified range */
26 void clean_dcache_range(const void *base
, unsigned int size
);
28 /* Dump DCache for this range */
29 /* Will *NOT* do write back */
30 void dump_dcache_range(const void *base
, unsigned int size
);
32 /* Cleans entire DCache */
33 void clean_dcache(void);
35 void memory_init(void);