diff options
Diffstat (limited to 'framework/timer/timer_framework.c')
| -rw-r--r-- | framework/timer/timer_framework.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/framework/timer/timer_framework.c b/framework/timer/timer_framework.c index fd44aa3..593644b 100644 --- a/framework/timer/timer_framework.c +++ b/framework/timer/timer_framework.c @@ -453,7 +453,12 @@ int tftf_timer_framework_handler(void *data) plat_timer_info->handler(); if (arm_gic_is_intr_pending(TIMER_IRQ)) { - ERROR(" Timer IRQ still pending. Fatal error.\n"); + /* + * We might never manage to acquire the printf lock here + * (because we are in ISR context) but we're gonna panic right + * after anyway so it doesn't really matter. + */ + ERROR("Timer IRQ still pending. Fatal error.\n"); panic(); } |