From dce8b590611db812bda4c0d431118536afa54838 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 30 Aug 2024 14:29:23 +0200
Subject: [PATCH] Print interrupt type from mcause

---
 opensbi-timer-debug.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();