diff --git a/c/src/lib/libmisc/rtmonuse/rtmonuse.c b/c/src/lib/libmisc/rtmonuse/rtmonuse.c index 272290176e..843d29468e 100644 --- a/c/src/lib/libmisc/rtmonuse/rtmonuse.c +++ b/c/src/lib/libmisc/rtmonuse/rtmonuse.c @@ -128,6 +128,11 @@ void Period_usage_Dump( void ) unsigned32 u32_name; char name[5]; + if ( !Period_usage_Information ) { + printf( "Period statistics library is not initialized\n" ); + return; + } + printf( "Period information by period\n" ); printf( " ID OWNER PERIODS MISSED CPU TIME WALL TIME\n" ); diff --git a/c/src/libmisc/rtmonuse/rtmonuse.c b/c/src/libmisc/rtmonuse/rtmonuse.c index 272290176e..843d29468e 100644 --- a/c/src/libmisc/rtmonuse/rtmonuse.c +++ b/c/src/libmisc/rtmonuse/rtmonuse.c @@ -128,6 +128,11 @@ void Period_usage_Dump( void ) unsigned32 u32_name; char name[5]; + if ( !Period_usage_Information ) { + printf( "Period statistics library is not initialized\n" ); + return; + } + printf( "Period information by period\n" ); printf( " ID OWNER PERIODS MISSED CPU TIME WALL TIME\n" ); diff --git a/cpukit/libmisc/rtmonuse/rtmonuse.c b/cpukit/libmisc/rtmonuse/rtmonuse.c index 272290176e..843d29468e 100644 --- a/cpukit/libmisc/rtmonuse/rtmonuse.c +++ b/cpukit/libmisc/rtmonuse/rtmonuse.c @@ -128,6 +128,11 @@ void Period_usage_Dump( void ) unsigned32 u32_name; char name[5]; + if ( !Period_usage_Information ) { + printf( "Period statistics library is not initialized\n" ); + return; + } + printf( "Period information by period\n" ); printf( " ID OWNER PERIODS MISSED CPU TIME WALL TIME\n" );