diff options
Diffstat (limited to 'c/src/lib/libbsp/shared/console.c')
-rw-r--r-- | c/src/lib/libbsp/shared/console.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/c/src/lib/libbsp/shared/console.c b/c/src/lib/libbsp/shared/console.c index 93ba6f9d98..8f9013e011 100644 --- a/c/src/lib/libbsp/shared/console.c +++ b/c/src/lib/libbsp/shared/console.c @@ -32,7 +32,7 @@ unsigned long Console_Port_Count = 0; console_tbl **Console_Port_Tbl = NULL; console_data *Console_Port_Data = NULL; rtems_device_minor_number Console_Port_Minor = 0; -bool console_initialized = false; +static bool console_initialized = false; /* * console_initialize_pointers @@ -76,7 +76,7 @@ void console_register_devices( * console_initialize has been invoked so it is now too late to * register devices. */ - if ( console_initialized == true ) { + if ( console_initialized ) { printk( "Attempt to register console devices after driver initialized\n" ); rtems_fatal_error_occurred( 0xdead0001 ); } |