diff --git a/opensbi-timer-debug.patch b/opensbi-timer-debug.patch index 0f4b635..cc47238 100644 --- a/opensbi-timer-debug.patch +++ b/opensbi-timer-debug.patch @@ -49,7 +49,7 @@ index b4f3a17..cde2073 100644 sbi_trap_set_context(scratch, tcntx); if (mcause & MCAUSE_IRQ_MASK) { -+ sbi_printf("i"); ++ sbi_printf("i(%lu)", mcause & ~MCAUSE_IRQ_MASK); if (sbi_hart_has_extension(sbi_scratch_thishart_ptr(), SBI_HART_EXT_SMAIA)) rc = sbi_trap_aia_irq();