6d64111b3c
The hardware watchdog automatically shutdown the device after 10s of inactivity, being defined as 10s without the tick IRQ fired (aka braindead device). The software IRQ mechanism is more interesting: it uses a very high priority timer setup as one-shot to trigger after 5s of inactivity (but IRQ still enabled). When detected, it patches the running code to insert a SWI instruction so that on interrupt return it will trigger a SWI and produce a meaningfull backtrace to debug the deadlock. This should allow to debug freezes in IRQ context. Change-Id: Ic55dad01201676bfb6dd79e78e535c6707cb88e6
74 lines
2.4 KiB
C
74 lines
2.4 KiB
C
/***************************************************************************
|
|
* __________ __ ___.
|
|
* Open \______ \ ____ ____ | | _\_ |__ _______ ___
|
|
* Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
|
|
* Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
|
|
* Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
|
|
* \/ \/ \/ \/ \/
|
|
* $Id$
|
|
*
|
|
* Copyright (C) 2011 by Amaury Pouly
|
|
*
|
|
* 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"
|
|
#include "panic.h"
|
|
#include "clkctrl-imx233.h"
|
|
#include "icoll-imx233.h"
|
|
#include "clock-target.h" /* CPUFREQ_* are defined here */
|
|
|
|
#include "regs/regs-digctl.h"
|
|
#include "regs/regs-usbphy.h"
|
|
|
|
/**
|
|
* Absolute maximum CPU speed: 454.74 MHz
|
|
* Intermediate CPU speeds: 392.73 MHz, 360MHz, 261.82 MHz, 64 MHz
|
|
* Absolute minimum CPU speed: 24 MHz */
|
|
#define IMX233_CPUFREQ_454_MHz 454740
|
|
#define IMX233_CPUFREQ_392_MHz 392730
|
|
#define IMX233_CPUFREQ_360_MHz 360000
|
|
#define IMX233_CPUFREQ_261_MHz 261820
|
|
#define IMX233_CPUFREQ_64_MHz 64000
|
|
#define IMX233_CPUFREQ_24_MHz 24000
|
|
|
|
#define CPUFREQ_DEFAULT IMX233_CPUFREQ_64_MHz
|
|
#define CPUFREQ_NORMAL IMX233_CPUFREQ_64_MHz
|
|
#define CPUFREQ_MAX IMX233_CPUFREQ_454_MHz
|
|
#define CPUFREQ_SLEEP IMX233_CPUFREQ_64_MHz
|
|
|
|
void udelay(unsigned us);
|
|
bool imx233_us_elapsed(uint32_t ref, unsigned us_delay);
|
|
void imx233_reset_block(volatile uint32_t *block_reg);
|
|
void power_off(void);
|
|
void imx233_enable_usb_controller(bool enable);
|
|
void imx233_enable_usb_phy(bool enable);
|
|
// NOTE: this is available even if HAVE_ADJUSTABLE_CPU_FREQ is undef
|
|
void imx233_set_cpu_frequency(long frequency);
|
|
|
|
void udelay(unsigned usecs);
|
|
|
|
static inline void mdelay(unsigned msecs)
|
|
{
|
|
udelay(1000 * msecs);
|
|
}
|
|
|
|
void usb_insert_int(void);
|
|
void usb_remove_int(void);
|
|
|
|
bool dbg_hw_target_info(void);
|
|
|
|
/* for watchdog */
|
|
void imx233_keep_alive(void);
|
|
|
|
#endif /* SYSTEM_TARGET_H */
|