diff options
author | Amaury Pouly <amaury.pouly@gmail.com> | 2014-02-22 20:38:10 +0100 |
---|---|---|
committer | Amaury Pouly <amaury.pouly@gmail.com> | 2014-02-22 20:38:10 +0100 |
commit | b9db3d3743927f28f4909861e899818372645344 (patch) | |
tree | 26526d702932199350fa94795282ab744df98471 /firmware/target | |
parent | f8e81594e248f0e3add23596ac3138c9e50c8ab4 (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.c | 41 |
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; |