Remove trailing whitespace

Fixes 5f876d5 ("Provide a structure with the debug information to debug_halt() handler")

Author: Patater

api/inc/halt_exports.h

@@ -82,15 +82,15 @@ typedef struct {
     uint32_t lr;
     uint32_t control;
     uint32_t ipsr;
-    
+
     /* Fault status registers. */
     uint32_t mmfar;
     uint32_t bfar;
     uint32_t cfsr;
     uint32_t hfsr;
     uint32_t dfsr;
     uint32_t afsr;
-    
+
     /* Bitmask telling which of the above regions are valid. */
     uint32_t valid_data;
 } UVISOR_PACKED THaltInfo;

core/debug/src/debug.c

@@ -453,7 +453,7 @@ bool debug_collect_halt_info(uint32_t lr, uint32_t sp, THaltInfo *halt_info)
     halt_info->lr = lr;
     halt_info->ipsr = __get_IPSR();
     halt_info->control = __get_CONTROL();
-    
+
     /* Save the status registers in the halt info. */
     halt_info->mmfar = SCB->MMFAR;
     halt_info->bfar = SCB->BFAR;
@@ -462,7 +462,7 @@ bool debug_collect_halt_info(uint32_t lr, uint32_t sp, THaltInfo *halt_info)
     halt_info->dfsr = SCB->DFSR;
     halt_info->afsr = SCB->AFSR;
     halt_info->valid_data |= HALT_INFO_REGISTERS;
-    
+
     /* Copy the exception stack frame into the halt info.
      * Make sure that we're not dealing with stacking error in which case we
      * don't have a valid exception stack frame.

core/debug/src/debug_box.c

@@ -59,7 +59,7 @@ void debug_halt_error(THaltError reason, const THaltInfo *halt_info)
     } else {
         /* Remember that debug_deprivilege_and_return() has been called once. */
         debugged_once_before = 1;
-        
+
         /* Place the halt info on the interrupt stack. */
         if (halt_info) {
             g_debug_interrupt_sp[g_debug_box.box_id] -= sizeof(THaltInfo);

core/vmpu/src/mpu_armv7m/vmpu_armv7m.c

@@ -130,7 +130,7 @@ uint32_t vmpu_sys_mux_handler(uint32_t lr, uint32_t msp)
     /* Determine the origin of the exception. */
     bool from_psp = EXC_FROM_PSP(lr);
     uint32_t sp = from_psp ? __get_PSP() : msp;
-    
+
     /* Collect fault information that will be given to the halt handler in case of halt. */
     THaltInfo info, *halt_info = NULL;
     if (debug_collect_halt_info(lr, sp, &info)) {

core/vmpu/src/mpu_armv8m/vmpu_armv8m.c

@@ -119,7 +119,7 @@ uint32_t vmpu_sys_mux_handler(uint32_t lr, uint32_t msp_s)
     bool from_psp = EXC_FROM_PSP(lr);
     uint32_t sp = from_s ? (from_np ? (from_psp ? __get_PSP() : msp_s) : msp_s) :
                            (from_np ? (from_psp ? __TZ_get_PSP_NS() : __TZ_get_MSP_NS()) : __TZ_get_MSP_NS());
-                           
+
     /* Collect fault information that will be given to the halt handler in case of halt. */
     THaltInfo info, *halt_info = NULL;
     if (debug_collect_halt_info(lr, sp, &info)) {

core/vmpu/src/mpu_kinetis/vmpu_kinetis.c

@@ -65,13 +65,13 @@ uint32_t vmpu_sys_mux_handler(uint32_t lr, uint32_t msp)
     bool from_np = EXC_FROM_NP(lr);
     bool from_psp = EXC_FROM_PSP(lr);
     uint32_t sp = from_np ? (from_psp ? __get_PSP() : msp) : msp;
-    
+
     /* Collect fault information that will be given to the halt handler in case of halt. */
     THaltInfo info, *halt_info = NULL;
     if (debug_collect_halt_info(lr, sp, &info)) {
         halt_info = &info;
     }
-    
+
     switch (ipsr) {
         case NonMaskableInt_IRQn:
             HALT_ERROR_EXTENDED(NOT_IMPLEMENTED, halt_info, "No NonMaskableInt IRQ handler registered.");