2007-09-21 15:51:53 +00:00
|
|
|
/***************************************************************************
|
|
|
|
* __________ __ ___.
|
|
|
|
* Open \______ \ ____ ____ | | _\_ |__ _______ ___
|
|
|
|
* Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
|
|
|
|
* Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
|
|
|
|
* Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
|
|
|
|
* \/ \/ \/ \/ \/
|
|
|
|
* $Id$
|
|
|
|
*
|
|
|
|
* Copyright (C) 2007 by Greg White
|
|
|
|
*
|
2008-06-28 18:10:04 +00:00
|
|
|
* This program is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU General Public License
|
|
|
|
* as published by the Free Software Foundation; either version 2
|
|
|
|
* of the License, or (at your option) any later version.
|
2007-09-21 15:51:53 +00:00
|
|
|
*
|
|
|
|
* This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
|
|
|
|
* KIND, either express or implied.
|
|
|
|
*
|
|
|
|
****************************************************************************/
|
|
|
|
#ifndef SYSTEM_TARGET_H
|
|
|
|
#define SYSTEM_TARGET_H
|
|
|
|
|
|
|
|
#include "system-arm.h"
|
2008-02-05 04:43:19 +00:00
|
|
|
#include "mmu-arm.h"
|
2007-09-21 15:51:53 +00:00
|
|
|
|
2008-09-21 22:32:56 +00:00
|
|
|
#ifndef HAVE_ADJUSTABLE_CPU_FREQ
|
|
|
|
/* TODO: implement CPU frequency scaling */
|
|
|
|
#define CPUFREQ_DEFAULT CPU_FREQ
|
|
|
|
#define CPUFREQ_NORMAL CPU_FREQ
|
|
|
|
#define CPUFREQ_MAX CPU_FREQ
|
|
|
|
#endif
|
2007-09-21 15:51:53 +00:00
|
|
|
|
2009-01-19 13:41:25 +00:00
|
|
|
static inline void udelay(unsigned int usecs)
|
|
|
|
{
|
2009-01-23 01:23:25 +00:00
|
|
|
unsigned stop = GPTCNT + usecs;
|
|
|
|
while (TIME_BEFORE(GPTCNT, stop));
|
2009-01-19 13:41:25 +00:00
|
|
|
}
|
|
|
|
|
2008-12-21 18:10:36 +00:00
|
|
|
void watchdog_init(unsigned int half_seconds);
|
|
|
|
void watchdog_service(void);
|
|
|
|
|
2009-01-23 01:23:25 +00:00
|
|
|
void gpt_start(void);
|
|
|
|
void gpt_stop(void);
|
|
|
|
|
2009-02-08 22:32:41 +00:00
|
|
|
unsigned int iim_system_rev(void);
|
|
|
|
|
2008-12-21 18:10:36 +00:00
|
|
|
/* Prepare for transition to firmware */
|
2008-02-08 02:20:05 +00:00
|
|
|
void system_prepare_fw_start(void);
|
|
|
|
void tick_stop(void);
|
2008-04-11 08:51:27 +00:00
|
|
|
void kernel_device_init(void);
|
|
|
|
|
2008-05-03 15:14:52 +00:00
|
|
|
void imx31_regmod32(volatile uint32_t *reg_p, uint32_t value,
|
|
|
|
uint32_t mask);
|
2008-12-19 13:46:49 +00:00
|
|
|
void imx31_regset32(volatile uint32_t *reg_p, uint32_t mask);
|
|
|
|
void imx31_regclr32(volatile uint32_t *reg_p, uint32_t mask);
|
2008-05-03 15:14:52 +00:00
|
|
|
|
2008-04-11 08:51:27 +00:00
|
|
|
#define KDEV_INIT
|
2008-02-08 02:20:05 +00:00
|
|
|
|
2009-02-11 12:55:51 +00:00
|
|
|
#define HAVE_CPUCACHE_INVALIDATE
|
|
|
|
#define HAVE_CPUCACHE_FLUSH
|
2008-02-05 04:43:19 +00:00
|
|
|
|
2009-02-11 12:55:51 +00:00
|
|
|
/* Different internal names */
|
|
|
|
#define cpucache_flush clean_dcache
|
|
|
|
#define cpucache_invalidate invalidate_idcache
|
2007-09-21 15:51:53 +00:00
|
|
|
|
|
|
|
struct ARM_REGS {
|
|
|
|
int r0;
|
|
|
|
int r1;
|
|
|
|
int r2;
|
|
|
|
int r3;
|
|
|
|
int r4;
|
|
|
|
int r5;
|
|
|
|
int r6;
|
|
|
|
int r7;
|
|
|
|
int r8;
|
|
|
|
int r9;
|
|
|
|
int r10;
|
|
|
|
int r11;
|
|
|
|
int r12;
|
|
|
|
int sp;
|
|
|
|
int lr;
|
|
|
|
int pc;
|
|
|
|
int cpsr;
|
|
|
|
} regs;
|
|
|
|
|
|
|
|
inline void dumpregs(void);
|
|
|
|
|
|
|
|
#endif /* SYSTEM_TARGET_H */
|