diff --git a/radio/src/targets/common/arm/stm32/heartbeat_driver.cpp b/radio/src/targets/common/arm/stm32/heartbeat_driver.cpp
index 53ea76a3e..cdb373de0 100644
--- a/radio/src/targets/common/arm/stm32/heartbeat_driver.cpp
+++ b/radio/src/targets/common/arm/stm32/heartbeat_driver.cpp
@@ -52,7 +52,7 @@ void init_intmodule_heartbeat()
   NVIC_SetPriority(INTMODULE_HEARTBEAT_EXTI_IRQn,
                    // Highest priority interrupt
                    // TODO: replace with a define...
-                   configMAX_SYSCALL_INTERRUPT_PRIORITY);
+                   configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY);
 
   NVIC_EnableIRQ(INTMODULE_HEARTBEAT_EXTI_IRQn);
   heartbeatCapture.valid = true;
diff --git a/radio/src/targets/common/arm/stm32/mixer_scheduler_driver.cpp b/radio/src/targets/common/arm/stm32/mixer_scheduler_driver.cpp
index a430c4fbb..69858da04 100644
--- a/radio/src/targets/common/arm/stm32/mixer_scheduler_driver.cpp
+++ b/radio/src/targets/common/arm/stm32/mixer_scheduler_driver.cpp
@@ -40,7 +40,7 @@ void mixerSchedulerStart()
   NVIC_EnableIRQ(MIXER_SCHEDULER_TIMER_IRQn);
   NVIC_SetPriority(MIXER_SCHEDULER_TIMER_IRQn,
                    // TODO: replace with a define...
-                   configMAX_SYSCALL_INTERRUPT_PRIORITY);
+                   configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY);
 
   MIXER_SCHEDULER_TIMER->SR   &= TIM_SR_UIF;   // clear interrupt flag
   MIXER_SCHEDULER_TIMER->DIER |= TIM_DIER_UIE; // enable interrupt