efi_selftest: fix typos
[oweals/u-boot.git] / lib / efi_selftest / efi_selftest_tpl.c
index 6ea0bb7177f402e0fde6766d7e45a596ac07dc87..97d256abe4f482fe236d4c032c4319aaea691242 100644 (file)
@@ -1,10 +1,9 @@
+// SPDX-License-Identifier: GPL-2.0+
 /*
- * efi_selftest_events
+ * efi_selftest_tpl
  *
  * Copyright (c) 2017 Heinrich Schuchardt <xypron.glpk@gmx.de>
  *
- * SPDX-License-Identifier:     GPL-2.0+
- *
  * This unit test uses timer events to check the handling of
  * task priority levels.
  */
@@ -144,9 +143,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 +181,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 +201,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;
        }