|
@@ -147,20 +147,20 @@ static int execute(void)
|
|
|
return EFI_ST_FAILURE;
|
|
|
}
|
|
|
ret = boottime->set_timer(event_notify, EFI_TIMER_STOP, 0);
|
|
|
- if (index != 0) {
|
|
|
+ if (ret != EFI_SUCCESS) {
|
|
|
efi_st_error("Could not cancel timer\n");
|
|
|
return EFI_ST_FAILURE;
|
|
|
}
|
|
|
/* Set 10 ms timer */
|
|
|
timer_ticks = 0;
|
|
|
ret = boottime->set_timer(event_notify, EFI_TIMER_RELATIVE, 100000);
|
|
|
- if (index != 0) {
|
|
|
+ if (ret != EFI_SUCCESS) {
|
|
|
efi_st_error("Could not set timer\n");
|
|
|
return EFI_ST_FAILURE;
|
|
|
}
|
|
|
/* Set 100 ms timer */
|
|
|
ret = boottime->set_timer(event_wait, EFI_TIMER_PERIODIC, 1000000);
|
|
|
- if (index != 0) {
|
|
|
+ if (ret != EFI_SUCCESS) {
|
|
|
efi_st_error("Could not set timer\n");
|
|
|
return EFI_ST_FAILURE;
|
|
|
}
|