efi_loader: simplify efi_watchdog_timer_notify()

We can call do_reset() directly without invoking the UEFI API.
This decreases the code size.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>

diff --git a/lib/efi_loader/efi_watchdog.c b/lib/efi_loader/efi_watchdog.c
index 61ea0f79260afcc9ad8a81167c496ee1136cb904..87ca6c5b0b73037b2c6556c71c3ad24cf1b2a75c 100644 (file)
--- a/lib/efi_loader/efi_watchdog.c
+++ b/lib/efi_loader/efi_watchdog.c
@@ -27,8 +27,7 @@ static void EFIAPI efi_watchdog_timer_notify(struct efi_event *event,
        EFI_ENTRY("%p, %p", event, context);
 
        printf("\nEFI: Watchdog timeout\n");
-       EFI_CALL_VOID(efi_runtime_services.reset_system(EFI_RESET_COLD,
-                                                       EFI_SUCCESS, 0, NULL));
+       do_reset(NULL, 0, 0, NULL);
 
        EFI_EXIT(EFI_UNSUPPORTED);
 }