1 files changed, 1 insertions, 1 deletions

diff --git a/firmware/system.c b/firmware/system.c
index cd2c5e34a0..41358a6776 100644
--- a/firmware/system.c
+++ b/firmware/system.c
@@ -302,7 +302,7 @@ void (*vbr[]) (void) __attribute__ ((section (".vectors"))) =
 
 void system_reboot (void)
 {
-    set_irq_level(15);
+    set_irq_level(HIGHEST_IRQ_LEVEL);
 
     asm volatile ("ldc\t%0,vbr" : : "r"(0));