1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 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 ****************************************************************************/
19 #ifndef SYSTEM_TARGET_H
20 #define SYSTEM_TARGET_H
22 #include "system-arm.h"
25 #define CPUFREQ_NORMAL 532000000
27 static inline void udelay(unsigned int usecs
)
29 volatile signed int stop
= EPITCNT1
- usecs
;
30 while ((signed int)EPITCNT1
> stop
);
33 #define __dbg_hw_info(...) 0
34 #define __dbg_ports(...) 0
36 void system_prepare_fw_start(void);
38 void kernel_device_init(void);
42 #define HAVE_INVALIDATE_ICACHE
43 static inline void invalidate_icache(void)
46 /* Clean and invalidate entire data cache */
47 "mcr p15, 0, %0, c7, c14, 0 \n"
48 /* Invalidate entire instruction cache */
49 "mcr p15, 0, %0, c7, c5, 0 \n"
54 #define HAVE_FLUSH_ICACHE
55 static inline void flush_icache(void)
58 /* Clean entire data cache */
59 "mcr p15, 0, %0, c7, c10, 0 \n"
84 inline void dumpregs(void);
86 #endif /* SYSTEM_TARGET_H */