1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 2006,2007 by Greg White
12 * This program is free software; you can redistribute it and/or
13 * modify it under the terms of the GNU General Public License
14 * as published by the Free Software Foundation; either version 2
15 * of the License, or (at your option) any later version.
17 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
18 * KIND, either express or implied.
20 ****************************************************************************/
22 #define CACHE_ALL 0x0C
27 void enable_mmu(void);
28 void map_section(unsigned int pa
, unsigned int va
, int mb
, int flags
);
30 /* Cleans entire DCache */
31 void clean_dcache(void);
33 /* Invalidate DCache for this range */
34 /* Will do write back */
35 void invalidate_dcache_range(const void *base
, unsigned int size
);
37 /* clean DCache for this range */
38 /* forces DCache writeback for the specified range */
39 void clean_dcache_range(const void *base
, unsigned int size
);
41 /* Dump DCache for this range */
42 /* Will *NOT* do write back */
43 void dump_dcache_range(const void *base
, unsigned int size
);
45 void memory_init(void);