diff options
Diffstat (limited to 'bl32/tsp/tsp_interrupt.c')
| -rw-r--r-- | bl32/tsp/tsp_interrupt.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bl32/tsp/tsp_interrupt.c b/bl32/tsp/tsp_interrupt.c index ff6bdc5c..c1c9aad2 100644 --- a/bl32/tsp/tsp_interrupt.c +++ b/bl32/tsp/tsp_interrupt.c @@ -56,7 +56,7 @@ void tsp_update_sync_fiq_stats(uint32_t type, uint64_t elr_el3) tsp_stats[linear_id].sync_fiq_ret_count++; spin_lock(&console_lock); - printf("TSP: cpu 0x%x sync fiq request from 0x%llx \n\r", + tf_printf("TSP: cpu 0x%x sync fiq request from 0x%llx \n\r", mpidr, elr_el3); INFO("cpu 0x%x: %d sync fiq requests, %d sync fiq returns\n", mpidr, @@ -100,7 +100,7 @@ int32_t tsp_fiq_handler(void) /* Update the statistics and print some messages */ tsp_stats[linear_id].fiq_count++; spin_lock(&console_lock); - printf("TSP: cpu 0x%x handled fiq %d \n\r", + tf_printf("TSP: cpu 0x%x handled fiq %d \n\r", mpidr, id); INFO("cpu 0x%x: %d fiq requests \n", mpidr, tsp_stats[linear_id].fiq_count); @@ -116,7 +116,7 @@ int32_t tsp_irq_received(void) tsp_stats[linear_id].irq_count++; spin_lock(&console_lock); - printf("TSP: cpu 0x%x received irq\n\r", mpidr); + tf_printf("TSP: cpu 0x%x received irq\n\r", mpidr); INFO("cpu 0x%x: %d irq requests \n", mpidr, tsp_stats[linear_id].irq_count); spin_unlock(&console_lock); |