software/bios/isr.c: workaround compilation issue (need to be fixed)

This commit is contained in:
Florent Kermarrec 2019-05-24 10:13:24 +02:00
parent 28ba8b3201
commit 712977a0cf
1 changed files with 1 additions and 1 deletions

View File

@ -34,7 +34,7 @@ void isr(void)
printf("# plic_pending: %08x\n", irq_pending());
printf("# mepc: %016lx\n", csrr(mepc));
printf("# mcause: %016lx\n", csrr(mcause));
printf("# mtval: %016lx\n", csrr(mtval));
//printf("# mtval: %016lx\n", csrr(mtval)); // FIXME
printf("# mie: %016lx\n", csrr(mie));
printf("# mip: %016lx\n", csrr(mip));
printf("###########################\n\n");