@ -144,9 +144,10 @@ static int execute(void)
efi_st_error ( " WaitForEvent returned wrong index \n " ) ;
return EFI_ST_FAILURE ;
}
efi_st_printf ( " Notification count with TPL level TPL_APPLICATION: %u \n " ,
notification_count ) ;
if ( notification_count < 8 | | notification_count > 12 ) {
efi_st_printf (
" Notification count with TPL level TPL_APPLICATION: %u \n " ,
notification_count ) ;
efi_st_error ( " Incorrect timing of events \n " ) ;
return EFI_ST_FAILURE ;
}
@ -181,9 +182,10 @@ static int execute(void)
efi_st_error ( " Could not check event \n " ) ;
return EFI_ST_FAILURE ;
}
efi_st_printf ( " Notification count with TPL level TPL_CALLBACK: %u \n " ,
notification_count ) ;
if ( notification_count ! = 0 ) {
efi_st_printf (
" Notification count with TPL level TPL_CALLBACK: %u \n " ,
notification_count ) ;
efi_st_error ( " Suppressed timer fired \n " ) ;
return EFI_ST_FAILURE ;
}
@ -200,9 +202,10 @@ static int execute(void)
efi_st_error ( " Could not wait for event \n " ) ;
return EFI_ST_FAILURE ;
}
efi_st_printf ( " Notification count with TPL level TPL_APPLICATION: %u \n " ,
notification_count ) ;
if ( notification_count < 1 ) {
efi_st_printf (
" Notification count with TPL level TPL_APPLICATION: %u \n " ,
notification_count ) ;
efi_st_error ( " Queued timer event did not fire \n " ) ;
return EFI_ST_FAILURE ;
}