software/bios/isr.c: workaround compilation issue (need to be fixed)
authorFlorent Kermarrec <florent@enjoy-digital.fr>
Fri, 24 May 2019 08:13:24 +0000 (10:13 +0200)
committerFlorent Kermarrec <florent@enjoy-digital.fr>
Fri, 24 May 2019 08:18:50 +0000 (10:18 +0200)
litex/soc/software/bios/isr.c

index 87b67ba038ee78e68d79876c91f5dae01b285cab..e4e54b233954430108c11ce75190faa86b8fb7c1 100644 (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");