diff --git a/os/common/ports/ARMv7-M/chcore.c b/os/common/ports/ARMv7-M/chcore.c
index 88a36bede..982e24fe6 100644
--- a/os/common/ports/ARMv7-M/chcore.c
+++ b/os/common/ports/ARMv7-M/chcore.c
@@ -301,7 +301,7 @@ void port_init(os_instance_t *oip) {
 /**
  * @brief   Setting up MPU region for the current thread.
  */
-void _port_set_region(void) {
+void __port_set_region(void) {
 
   mpuSetRegionAddress(PORT_USE_GUARD_MPU_REGION,
                       chThdGetSelfX()->wabase);
@@ -309,7 +309,7 @@ void _port_set_region(void) {
 #endif
 
 /**
- * @brief   Exception exit redirection to _port_switch_from_isr().
+ * @brief   Exception exit redirection to @p __port_switch_from_isr().
  */
 void __port_irq_epilogue(void) {
 
diff --git a/os/common/ports/ARMv7-M/chcore.h b/os/common/ports/ARMv7-M/chcore.h
index 960274167..6b4073d74 100644
--- a/os/common/ports/ARMv7-M/chcore.h
+++ b/os/common/ports/ARMv7-M/chcore.h
@@ -399,8 +399,8 @@
    */
   #define CORTEX_BASEPRI_KERNEL                                             \
     CORTEX_PRIO_MASK(CORTEX_MAX_KERNEL_PRIORITY)
-  #else
 
+#else
   #define CORTEX_MAX_KERNEL_PRIORITY    0U
 #endif