summaryrefslogtreecommitdiff
path: root/firmware/target
diff options
context:
space:
mode:
authorAmaury Pouly <amaury.pouly@gmail.com>2014-02-22 20:38:10 +0100
committerAmaury Pouly <amaury.pouly@gmail.com>2014-02-22 20:38:10 +0100
commitb9db3d3743927f28f4909861e899818372645344 (patch)
tree26526d702932199350fa94795282ab744df98471 /firmware/target
parentf8e81594e248f0e3add23596ac3138c9e50c8ab4 (diff)
imx233: remove nested irq check from debug menu
Change-Id: Ic16c6bf988d21c849488489d1b4a3477f2762afb
Diffstat (limited to 'firmware/target')
-rw-r--r--firmware/target/arm/imx233/debug-imx233.c41
1 files changed, 0 insertions, 41 deletions
diff --git a/firmware/target/arm/imx233/debug-imx233.c b/firmware/target/arm/imx233/debug-imx233.c
index 06b7c001cc..c6ffb48896 100644
--- a/firmware/target/arm/imx233/debug-imx233.c
+++ b/firmware/target/arm/imx233/debug-imx233.c
@@ -484,51 +484,10 @@ bool dbg_hw_info_dcp(void)
}
#endif
-/** Nested IRQ check code */
-void INT_SOFTWARE(unsigned nr)
-{
- imx233_icoll_force_irq(INT_SRC_SOFTWARE(nr), false);
- HW_DIGCTL_SCRATCH0 = nr;
- if(nr < 3)
- {
- imx233_icoll_force_irq(INT_SRC_SOFTWARE(nr + 1), true);
- udelay(10);
- if(HW_DIGCTL_SCRATCH0 == nr)
- panicf("Nestes IRQ bug (%d)", nr);
- }
-}
-
-void INT_SOFTWARE0(void) { INT_SOFTWARE(0); }
-void INT_SOFTWARE1(void) { INT_SOFTWARE(1); }
-void INT_SOFTWARE2(void) { INT_SOFTWARE(2); }
-void INT_SOFTWARE3(void) { INT_SOFTWARE(3); }
-
-static void check_nested_irq(void)
-{
- /* Test protocol: setup SOFTWAREn IRQ as level n and apply:
- * - enable SOFTWARE0 and soft IRQ'it
- * - in SOFTWAREn, enable SOFTWARE(n+1) and soft IRQ'it, check it ran
- */
- for(int i = 0; i < 4; i++)
- {
- imx233_icoll_enable_interrupt(INT_SRC_SOFTWARE(i), true);
- imx233_icoll_set_priority(INT_SRC_SOFTWARE(i), i);
- }
- HW_DIGCTL_SCRATCH0 = 0;
- imx233_icoll_force_irq(INT_SRC_SOFTWARE(0), true);
- udelay(100);
- if(HW_DIGCTL_SCRATCH0 != 3)
- panicf("Nested IRQ broken (%lu)", HW_DIGCTL_SCRATCH0);
- for(int i = 0; i < 4; i++)
- imx233_icoll_enable_interrupt(INT_SRC_SOFTWARE(i), false);
-}
-
bool dbg_hw_info_icoll(void)
{
lcd_setfont(FONT_SYSFIXED);
- check_nested_irq();
-
int first_irq = 0;
int dbg_irqs_count = sizeof(dbg_irqs) / sizeof(dbg_irqs[0]);
int line_count = lcd_getheight() / font_get(lcd_getfont())->height;