RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Improve print in handleSpuriousIRQ

Browse Source 
Spend a couple minutes trying to decipher a weird
sip encoding until I realised it was in hex.

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic
2025-02-18 00:16:47 +11:00
committed by Ivan Velickovic
parent c674b62a00
commit ddad13cafd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/arch/riscv/machine/hardware.c
View File

@@ -273,5 +273,5 @@ BOOT_CODE void initIRQController(void)
static inline void handleSpuriousIRQ(void)
{
/* Do nothing */
printf("Superior IRQ!! SIP %lx\n", read_sip());
printf("Spurious IRQ!! SIP 0x%"SEL4_PRIx_word", SIE 0x%"SEL4_PRIx_word"\n", read_sip(), read_sie());
}