Minor fixes.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@13757 27425a3e-05d8-49a3-a47f-9c15f0e5edd8

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) {
 

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