diff --git a/cpu/fe310/irq_arch.c b/cpu/fe310/irq_arch.c
index 85bbbd0b1872..481419dbea72 100644
--- a/cpu/fe310/irq_arch.c
+++ b/cpu/fe310/irq_arch.c
@@ -112,8 +112,8 @@ void handle_trap(uint32_t mcause)
 #ifdef DEVELHELP
         printf("Unhandled trap:\n");
         printf("  mcause: 0x%"PRIx32"\n", mcause);
-        printf("  mepc:   0x%"PRIx32"\n", read_csr(mepc));
-        printf("  mtval:  0x%"PRIx32"\n", read_csr(mtval));
+        printf("  mepc:   0x%lx\n", read_csr(mepc));
+        printf("  mtval:  0x%lx\n", read_csr(mtval));
 #endif
         /* Unknown trap */
         core_panic(PANIC_GENERAL_ERROR, "Unhandled trap");