[dev][interrupt][arm_gic] Add trace printf for irq numbers returned to ns

Change-Id: I834ea1861e09edc770f081253a34364e3a8eaeba
2015-01-23 19:47:31 -08:00
parent 4acd0e4324
commit 03d68ec2ae
1 changed files with 2 additions and 0 deletions
--- a/dev/interrupt/arm_gic/arm_gic.c
+++ b/dev/interrupt/arm_gic/arm_gic.c
@@ -470,6 +470,8 @@ long smc_intc_get_next_irq(smc32_args_t *args)

 	arm_gic_non_secure_interrupts_frozen = true;
 	ret = arm_gic_get_next_irq_locked(args->params[0], args->params[1]);
+	LTRACEF("min_irq %d, per_cpu %d, ret %d\n",
+		args->params[0], args->params[1], ret);

 	spin_unlock_restore(&gicd_lock, state, GICD_LOCK_FLAGS);