4 files changed, 5 insertions, 5 deletions
diff --git a/cpukit/libmisc/monitor/mon-monitor.c b/cpukit/libmisc/monitor/mon-monitor.c
index e68281c418..dc6f3824c7 100644
--- a/cpukit/libmisc/monitor/mon-monitor.c
+++ b/cpukit/libmisc/monitor/mon-monitor.c
@@ -438,7 +438,7 @@ rtems_monitor_symbols_loadup(void)
             rtems_symbol_t *sp;
             sp = rtems_symbol_create(rtems_monitor_symbols,
                                      symbol,
-                                     (uint32_t  ) strtoul(value, 0, 16));
+                                     (uint32_t) strtoul(value, 0, 16));
             if (sp == 0)
             {
                 fprintf(stdout,"could not define symbol '%s'\n", symbol);
diff --git a/cpukit/libmisc/monitor/mon-object.c b/cpukit/libmisc/monitor/mon-object.c
index e5ff360830..ea1556c91d 100644
--- a/cpukit/libmisc/monitor/mon-object.c
+++ b/cpukit/libmisc/monitor/mon-object.c
@@ -203,8 +203,8 @@ rtems_monitor_object_canonical_next_remote(
      */
 
     request.command = RTEMS_MONITOR_SERVER_CANONICAL;
-    request.argument0 = (uint32_t  ) type;
-    request.argument1 = (uint32_t  ) id;
+    request.argument0 = (uint32_t) type;
+    request.argument1 = (uint32_t) id;
 
     status = rtems_monitor_server_request(
       rtems_object_id_get_node(id), &request, &response);
diff --git a/cpukit/libmisc/monitor/mon-symbols.c b/cpukit/libmisc/monitor/mon-symbols.c
index 6f1c45a8e2..28d744ab06 100644
--- a/cpukit/libmisc/monitor/mon-symbols.c
+++ b/cpukit/libmisc/monitor/mon-symbols.c
@@ -362,7 +362,7 @@ rtems_monitor_symbol_canonical_by_value(
     void                   *value_void_p
 )
 {
-    uint32_t   value = (uint32_t  ) value_void_p;
+    uint32_t   value = (uint32_t) value_void_p;
     rtems_symbol_t *sp;
 
     sp = rtems_symbol_value_lookup(0, value);
diff --git a/cpukit/libmisc/monitor/monitor.h b/cpukit/libmisc/monitor/monitor.h
index 93d0e1632a..5442cc120f 100644
--- a/cpukit/libmisc/monitor/monitor.h
+++ b/cpukit/libmisc/monitor/monitor.h
@@ -371,7 +371,7 @@ typedef struct {
 
 /* monitor.c */
 void    rtems_monitor_kill(void);
-void    rtems_monitor_init(uint32_t  );
+void    rtems_monitor_init(uint32_t);
 void    rtems_monitor_wakeup(void);
 void    rtems_monitor_pause_cmd(int, char **, rtems_monitor_command_arg_t*, bool);
 void    rtems_monitor_fatal_cmd(int, char **, rtems_monitor_command_arg_t*, bool);