/*************************************************************************** * __________ __ ___. * Open \______ \ ____ ____ | | _\_ |__ _______ ___ * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ / * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < < * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \ * \/ \/ \/ \/ \/ * $Id$ * * Copyright (C) 2007 by Greg White * * 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. * * 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" #include "mmu-arm.h" /* High enough for most tasks but low enough for reduced voltage */ #define CPUFREQ_DEFAULT 264000000 /* Still quite powerful, minimum possible frequency */ #define CPUFREQ_NORMAL 132000000 /* Overdrive mode */ #define CPUFREQ_MAX 528000000 static inline void udelay(unsigned int usecs) { unsigned stop = GPTCNT + usecs; while (TIME_BEFORE(GPTCNT, stop)); } void watchdog_init(unsigned int half_seconds); void watchdog_service(void); void gpt_start(void); void gpt_stop(void); unsigned int iim_system_rev(void); /* Prepare for transition to (new) firmware */ void system_prepare_fw_start(void); void tick_stop(void); void kernel_device_init(void); void system_halt(void); #define KDEV_INIT 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; void dumpregs(void); #endif /* SYSTEM_TARGET_H */